PATH_SEPARATOR 是一个常量，在linux系统中是":"号，Windows系统中为";"号，可以用来判断当前系统类型。
例如：
echo PATH_SEPARATOR==';' ? 'windows 服务器' : '不是 widnows 服务器';
其他类似常量：
// *nix
echo DIRECTORY_SEPARATOR; // /
echo PHP_SHLIB_SUFFIX; // so
// Win*
echo DIRECTORY_SEPARATOR; // \
echo PHP_SHLIB_SUFFIX; // dll
此外还有php内置函数 php_uname() 和常量 PHP_OS 用以返回操作系统相关信息，具体用法请参考php文档。