redirect.php

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