redirect.php

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