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 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
  10         require ( 'phase3/includes/WebStart.php' );
  11 } else {
  12         require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
  13 }
  14
  15 global $wgArticlePath;
  16
  17 $page = $wgRequest->getVal( 'wpDropdown' );
  18
  19 $url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
  20
  21 header( "Location: {$url}" );