PHP strstr() 和 strpos() 函数的区别

最近要用 PHP 判断浏览器的类型，在网上搜索了一下，大部分的做法如下：

<?php
if (strpos($_SERVER["HTTP_USER_AGENT"], "MSIE 8.0")) {
	echo "Internet Explorer 8.0";
} elseif (strpos($_SERVER["HTTP_USER_AGENT"], "MSIE 7.0")) {
	echo "Internet Explorer 7.0";
} elseif (strpos($_SERVER["HTTP_USER_AGENT"], "MSIE 6.0")) {
	echo "Internet Explorer 6.0";
} elseif (strpos($_SERVER["HTTP_USER_AGENT"], "Firefox/3")) {
	echo "Firefox 3";
} elseif (strpos($_SERVER["HTTP_USER_AGENT"], "Firefox/2"))
	echo "Firefox 2";
} elseif (strpos($_SERVER["HTTP_USER_AGENT"], "Chrome")) {
	echo "Google Chrome";
} elseif (strpos($_SERVER["HTTP_USER_AGENT"], "Safari")) {
	echo "Safari";
} elseif (strpos($_SERVER["HTTP_USER_AGENT"], "Opera")) {
	echo "Opera";
} else {
	echo $_SERVER["HTTP_USER_AGENT"];
}

但在实际操作中，却判断不出来，后来把 strpos() 函数换成 strstr() 就解决问题了。