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