Searched refs:URI (Results 1 – 5 of 5) sorted by relevance
26 if ($URI == 'phpnetsearch.src') {55 $URI = urldecode(preg_replace("!(\\?.*$)!", "", $URI)); variable59 if (empty($URI)) {121 $URI = rtrim($URI, '/'); variable128 $URI = "downloads"; variable171 if (is_numeric($URI)) {186 mirror_redirect("/$URI.php");190 $URI = strtolower($URI); variable664 if (isset($uri_aliases[$URI])) {665 $URI = $uri_aliases[$URI]; variable[all …]
25 stripped request URI (in case of a shortcut, the
115 // Redirect to an URI on this mirror site or outside this site121 // in the URL, then prepend local site URI
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 76 milliseconds