redirect.php

   1 <?php
   2 define( 'MW_NO_SETUP', 1 );
   3 require_once( './includes/WebStart.php' );
   4 global $wgArticlePath;
   5
   6 require_once( 'includes/WebRequest.php' );
   7 $wgRequest = new WebRequest();
   8
   9 $page = $wgRequest->getVal( 'wpDropdown' );
  10
  11 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
  12
  13 header( "Location: {$url}" );
  14 ?>