private function convert_to_path($path) { if ('/' === DIRECTORY_SEPARATOR) { return $path; } return str_replace('/', DIRECTORY_SEPARATOR, $path); }