php  PATH_SEPARATOR判断当前服务器系统类型实例