spip /
SPIP
| @@ 1825-1834 (lines=10) @@ | ||
| 1822 | } |
|
| 1823 | } |
|
| 1824 | ||
| 1825 | if (!$GLOBALS['REQUEST_URI']) { |
|
| 1826 | if (isset($_SERVER['REQUEST_URI'])) { |
|
| 1827 | $GLOBALS['REQUEST_URI'] = $_SERVER['REQUEST_URI']; |
|
| 1828 | } else { |
|
| 1829 | $GLOBALS['REQUEST_URI'] = $_SERVER['PHP_SELF']; |
|
| 1830 | if ($_SERVER['QUERY_STRING'] |
|
| 1831 | and !strpos($_SERVER['REQUEST_URI'], '?') |
|
| 1832 | ) { |
|
| 1833 | $GLOBALS['REQUEST_URI'] .= '?' . $_SERVER['QUERY_STRING']; |
|
| 1834 | } |
|
| 1835 | } |
|
| 1836 | } |
|
| 1837 | ||
| @@ 2435-2442 (lines=8) @@ | ||
| 2432 | ||
| 2433 | ||
| 2434 | // Compatibilite avec serveurs ne fournissant pas $REQUEST_URI |
|
| 2435 | if (isset($_SERVER['REQUEST_URI'])) { |
|
| 2436 | $GLOBALS['REQUEST_URI'] = $_SERVER['REQUEST_URI']; |
|
| 2437 | } else { |
|
| 2438 | $GLOBALS['REQUEST_URI'] = $_SERVER['PHP_SELF']; |
|
| 2439 | if (!empty($_SERVER['QUERY_STRING']) |
|
| 2440 | and !strpos($_SERVER['REQUEST_URI'], '?') |
|
| 2441 | ) { |
|
| 2442 | $GLOBALS['REQUEST_URI'] .= '?' . $_SERVER['QUERY_STRING']; |
|
| 2443 | } |
|
| 2444 | } |
|
| 2445 | ||
