public function fixDirectorySeparators($path) { return str_replace(['/', '\\'], DIRECTORY_SEPARATOR, $path); }