redirect.phtml

   1 <?php
   2 include_once( "./LocalSettings.php" );
   3 global $wpDropdown, $wgArticlePath;
   4 $url = str_replace( "$1", $wpDropdown, $wgArticlePath );
   5 header( "Location: {$url}" );
   6 ?>