Lines Matching refs:URI

21 $URI = substr($_SERVER['STRIPPED_URI'], 1);  variable
26 if ($URI == 'phpnetsearch.src') {
32 if ($URI == 'phpnetimprovedsearch.src') {
40 if (preg_match("!^bugs.php\\?(.+)$!", $URI, $array)) {
46 if (preg_match("!^security/advisories/PHPSA-(\\d+)\\.php$!", $URI, $array)) {
55 $URI = urldecode(preg_replace("!(\\?.*$)!", "", $URI));  variable
59 if (empty($URI)) {
65 if (preg_match("!^manual/(\\w+)/(print|printwn)/figures/(.+)$!", $URI, $parts)) {
67 } elseif (preg_match("!\\.(pdf|gif|jpg|png)$!i", $URI)) {
73 if (preg_match("!(.*\\.php)3$!", $URI, $array)) {
81 if (preg_match("!^manual/([^/]*)$!", $URI, $array)) {
85 } elseif (preg_match("!^manual/html/([^/]+)$!", $URI, $array)) {
92 if (preg_match("!^news-(\\d+)(\\.|$)!", $URI, $array)) {
98 if (preg_match("!^release_([^\\.]+)(\\.php$|$)!", $URI, $array)) {
106 if (preg_match("!^manual/(\\w+)/(print|printwn|html)((/.+)|$)!", $URI, $array)) {
114 if (preg_match("!^distributions/.*!", $URI, $array)) {
121 $URI = rtrim($URI, '/');  variable
125 if (preg_match("!^get/([^/]+)$!", $URI, $what)) {
128             $URI = "downloads";  variable
132             $URI = "download-docs";  variable
139 if (preg_match("!^get/([^/]+)/from/([^/]+)(/mirror)?$!", $URI, $dlinfo)) {
171 if (is_numeric($URI)) {
176 if (preg_match('/^GH-(\d+)$/', $URI, $matches)) {
184 if (!in_array($URI, ['mirror-info', 'error', 'mod'], true) &&
185     file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) {
186     mirror_redirect("/$URI.php");
190 $URI = strtolower($URI);  variable
194 $term = str_replace('_', '-', $URI);
265 if (isset($manual_page_moves[$URI])) {
267     mirror_redirect("/" . $manual_page_moves[$URI]);
268 } elseif (preg_match("!^manual/([^/]+)/([^/]+).php$!", $URI, $match) &&
326 if (preg_match("!^manual/([^/]+)/([^/]+?)(?:\.php)?$!", $URI, $match) && isset($manual_redirections…
664 if (isset($uri_aliases[$URI])) {
665     $URI = $uri_aliases[$URI];  variable
667     if (file_exists($_SERVER['DOCUMENT_ROOT'] . "/$URI.php")) {
668         mirror_redirect("/$URI.php");
674 if (isset($external_redirects[$URI])) {
675     mirror_redirect($external_redirects[$URI]);
680 if ($URI == 'mirror-info') {
682     include_once __DIR__ . "/$URI.php";
689 $try = find_manual_page($LANG, $URI);
696 if (preg_match("!^manual/(.+)/function\.(.+)-(.+).php$!", $URI, $array)) {
707 if (preg_match("!^manual/([^/]+)/([^/]+).php$!", $URI, $match) &&
717 if (strpos($URI, "manual/") === 0) {
718     $legacy_manual_urls = get_legacy_manual_urls($URI);