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