如何使用php判断所处服务器操作系统的类型

我本机开发用的是winxp，但是上传的服务器是linux，每次上传前总是要改一下配置文件，还有其他一些什么的，
现在通过判断当前服务器的类型来决定执行什么样的程序，那么php如何判断所处服务器是什么类型呢
php有许多系统预定义变量，通过判断他们可以简单的判断系统是 windows还是*unix
其中相关的函数或者预定义变量如下

php_uname();
php_os
directory_separator
php_shlib_suffix
path_separator

具体程序：

<?
if(path_separator==':') echo 'linux';
else echo 'windows';
?>

或者

<?php
echo php_uname();
echo php_os;
/* some possible outputs:
linux localhost 2.4.21-0.13mdk #1 fri mar 14 15:08:06 est 2003 i686
linux
freebsd localhost 3.2-release #15: mon dec 17 08:46:02 gmt 2001
freebsd
windows nt xn1 5.1 build 2600
winnt
*/
if (strtoupper(substr(php_os, 0, 3)) === 'win') {
    echo 'this is a server using windows!';
} else {
    echo 'this is a server not using windows!';
}
?>