| 1 |
<?php |
| 2 |
|
| 3 |
if ( !isset( $_SERVER ) ) { |
| 4 |
$_SERVER = $HTTP_SERVER_VARS ; |
| 5 |
} |
| 6 |
if ( !isset( $_GET ) ) { |
| 7 |
$_GET = $HTTP_GET_VARS ; |
| 8 |
} |
| 9 |
if ( !isset( $_FILES ) ) { |
| 10 |
$_FILES = $HTTP_POST_FILES ; |
| 11 |
} |
| 12 |
|
| 13 |
if ( !defined( 'DIRECTORY_SEPARATOR' ) ) { |
| 14 |
define( 'DIRECTORY_SEPARATOR', |
| 15 |
strtoupper(substr(PHP_OS, 0, 3) == 'WIN') ? '\\' : '/' |
| 16 |
) ; |
| 17 |
} |
| 18 |
|
