Project

General

Profile

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
?>
(8-8/10)