spip /
SPIP
| @@ 1885-1894 (lines=10) @@ | ||
| 1882 | } |
|
| 1883 | } |
|
| 1884 | ||
| 1885 | if (!$GLOBALS['REQUEST_URI']) { |
|
| 1886 | if (isset($_SERVER['REQUEST_URI'])) { |
|
| 1887 | $GLOBALS['REQUEST_URI'] = $_SERVER['REQUEST_URI']; |
|
| 1888 | } else { |
|
| 1889 | $GLOBALS['REQUEST_URI'] = $_SERVER['PHP_SELF']; |
|
| 1890 | if ($_SERVER['QUERY_STRING'] |
|
| 1891 | and !strpos($_SERVER['REQUEST_URI'], '?') |
|
| 1892 | ) { |
|
| 1893 | $GLOBALS['REQUEST_URI'] .= '?' . $_SERVER['QUERY_STRING']; |
|
| 1894 | } |
|
| 1895 | } |
|
| 1896 | } |
|
| 1897 | ||
| @@ 2495-2502 (lines=8) @@ | ||
| 2492 | ||
| 2493 | ||
| 2494 | // Compatibilite avec serveurs ne fournissant pas $REQUEST_URI |
|
| 2495 | if (isset($_SERVER['REQUEST_URI'])) { |
|
| 2496 | $GLOBALS['REQUEST_URI'] = $_SERVER['REQUEST_URI']; |
|
| 2497 | } else { |
|
| 2498 | $GLOBALS['REQUEST_URI'] = $_SERVER['PHP_SELF']; |
|
| 2499 | if (!empty($_SERVER['QUERY_STRING']) |
|
| 2500 | and !strpos($_SERVER['REQUEST_URI'], '?') |
|
| 2501 | ) { |
|
| 2502 | $GLOBALS['REQUEST_URI'] .= '?' . $_SERVER['QUERY_STRING']; |
|
| 2503 | } |
|
| 2504 | } |
|
| 2505 | ||
