<?php
-unset( $DP );
-unset( $IP );
-$wgCommandLineMode = false;
-define( 'MEDIAWIKI', true );
-
-require_once( './LocalSettings.php' );
+require_once( './includes/WebStart.php' );
global $wgArticlePath;
require_once( 'includes/WebRequest.php' );
$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
header( "Location: {$url}" );
-?>
+