redirect.php

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