redirect.php

   1 <?php
   2 unset( $DP );
   3 unset( $IP );
   4 $wgCommandLineMode = false;
   5 define( 'MEDIAWIKI', true );
   6
   7 require_once( './includes/Defines.php' );
   8 require_once( './LocalSettings.php' );
   9 global $wgArticlePath;
  10
  11 require_once( 'includes/WebRequest.php' );
  12 $wgRequest = new WebRequest();
  13
  14 $page = $wgRequest->getVal( 'wpDropdown' );
  15
  16 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
  17
  18 header( "Location: {$url}" );
  19 ?>