php PATH_SEPARATOR判断当前服务器系统类型实例 php中有一个非常有用的预定义常量PATH_SEPARATOR，我们可以通过该常量来判断当前服务器是linu PATH_SEPARATOR