<?php



if ( !isset( $_SERVER ) ) {

    $_SERVER = $HTTP_SERVER_VARS ;

}

if ( !isset( $_GET ) ) {

    $_GET = $HTTP_GET_VARS ;

}

if ( !isset( $_FILES ) ) {

    $_FILES = $HTTP_POST_FILES ;

}



if ( !defined( 'DIRECTORY_SEPARATOR' ) ) {

    define( 'DIRECTORY_SEPARATOR',

        strtoupper(substr(PHP_OS, 0, 3) == 'WIN') ? '\\' : '/'

    ) ;

}

