redirect.php

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