Lines Matching refs:URI

19 $URI = substr($_SERVER['STRIPPED_URI'], 1);  variable
24 if ($URI == 'phpnetsearch.src') {
30 if ($URI == 'phpnetimprovedsearch.src') {
38 if (preg_match("!^bugs.php\\?(.+)$!", $URI, $array)) {
44 if (preg_match("!^security/advisories/PHPSA-(\\d+)\\.php$!", $URI, $array)) {
53 $URI = urldecode(preg_replace("!(\\?.*$)!", "", $URI));  variable
57 if (empty($URI)) {
63 if (preg_match("!^manual/(\\w+)/(print|printwn)/figures/(.+)$!", $URI, $parts)) {
65 } elseif (preg_match("!\\.(pdf|gif|jpg|png)$!i", $URI)) {
71 if (preg_match("!(.*\\.php)3$!", $URI, $array)) {
79 if (preg_match("!^manual/([^/]*)$!", $URI, $array)) {
83 } elseif (preg_match("!^manual/html/([^/]+)$!", $URI, $array)) {
90 if (preg_match("!^news-(\\d+)(\\.|$)!", $URI, $array)) {
96 if (preg_match("!^release_([^\\.]+)(\\.php$|$)!", $URI, $array)) {
104 if (preg_match("!^manual/(\\w+)/(print|printwn|html)((/.+)|$)!", $URI, $array)) {
112 if (preg_match("!^distributions/.*!", $URI, $array)) {
119 $URI = rtrim($URI, '/');  variable
123 if (preg_match("!^get/([^/]+)$!", $URI, $what)) {
126             $URI = "downloads";  variable
130             $URI = "download-docs";  variable
137 if (preg_match("!^get/([^/]+)/from/([^/]+)(/mirror)?$!", $URI, $dlinfo)) {
169 if (is_numeric($URI)) {
174 if (preg_match('/^GH-(\d+)$/', $URI, $matches)) {
182 if (!in_array($URI, ['mirror-info', 'error', 'mod'], true) &&
183     file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) {
184     mirror_redirect("/$URI.php");
188 $URI = strtolower($URI);  variable
192 $term = str_replace('_', '-', $URI);
254 if (isset($manual_page_moves[$URI])) {
256     mirror_redirect("/" . $manual_page_moves[$URI]);
257 } elseif (preg_match("!^manual/([^/]+)/([^/]+).php$!", $URI, $match) &&
309 if (preg_match("!^manual/([^/]+)/([^/]+?)(?:\.php)?$!", $URI, $match) && isset($manual_redirections…
648 if (isset($uri_aliases[$URI])) {
649     $URI = $uri_aliases[$URI];  variable
651     if (file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) {
652         mirror_redirect("/$URI.php");
658 if (isset($external_redirects[$URI])) {
659     mirror_redirect($external_redirects[$URI]);
664 if ($URI == 'mirror-info') {
666     include_once __DIR__ . "/$URI.php";
673 $try = find_manual_page($LANG, $URI);
680 if (preg_match("!^manual/(.+)/function\.(.+)-(.+).php$!", $URI, $array)) {
691 if (preg_match("!^manual/([^/]+)/([^/]+).php$!", $URI, $match) &&
701 if (strpos($URI, "manual/") === 0) {
702     $legacy_manual_urls = get_legacy_manual_urls($URI);