redirect.php

   1 <?php
   2
   3 /**
   4  * Script that redirects to the article passed in the "wpDropdown" parameter.
   5  * This is used by the nostalgia skin for the special pages drop-down
   6  *
   7  * @file
   8  */
   9
  10 require_once( './includes/WebStart.php' );
  11 global $wgArticlePath;
  12
  13 $page = $wgRequest->getVal( 'wpDropdown' );
  14
  15 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
  16
  17 header( "Location: {$url}" );