[Summary view] [Print] [Text view]

   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  }