Searched refs:URI (Results 1 – 5 of 5) sorted by relevance
24 if ($URI == 'phpnetsearch.src') {53 $URI = urldecode(preg_replace("!(\\?.*$)!", "", $URI)); variable57 if (empty($URI)) {119 $URI = rtrim($URI, '/'); variable126 $URI = "downloads"; variable169 if (is_numeric($URI)) {184 mirror_redirect("/$URI.php");188 $URI = strtolower($URI); variable648 if (isset($uri_aliases[$URI])) {649 $URI = $uri_aliases[$URI]; variable[all …]
116 // Redirect to an URI on this mirror site or outside this site122 // in the URL, then prepend local site URI
25 stripped request URI (in case of a shortcut, the
10 . Fixed bug #60112 (If URI does not contain a file, index.php is not served).3306 - Fixed bug #45151 (Crash with URI/file..php (filename contains 2 dots)).6408 path of the request URI). (kameshj at fastmail dot fm)
3210 - Fixed bug #45151 (Crash with URI/file..php (filename contains 2 dots)).6312 path of the request URI). (kameshj at fastmail dot fm)
Completed in 79 milliseconds