redirect.php


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

<?php

/**
 * Script that redirects to the article passed in the "wpDropdown" parameter.
 * This is used by the nostalgia skin for the special pages drop-down
 *
 * @file
 */

require_once( './includes/WebStart.php' );
global $wgArticlePath;

$page = $wgRequest->getVal( 'wpDropdown' );

$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );

header( "Location: {$url}" );