[Summary view] [Print] [Text view]

   1  <?php
   2  
   3  $index = dirname( __FILE__ ) . '/../../index.php';
   4  
   5  require $argv[1];
   6  $_SERVER['SCRIPT_NAME'] = '/index.php';
   7  $_SERVER['PHP_SELF'] = '/index.php';
   8  $_SERVER['PATH_TRANSLATED'] = realpath( $index );
   9  $_SERVER['SCRIPT_FILENAME'] = $_SERVER['PATH_TRANSLATED'];
  10  require $index;
  11