public static function setDirectorySeparator($stream, $directorySeparator = DIRECTORY_SEPARATOR)
{
$path = str_replace($directorySeparator == '/' ? '\\' : '/', $directorySeparator, preg_replace('#^[^:]+://#', '', $stream));
return substr($stream, 0, strlen($stream) - strlen($path)) . $path;
}