unset( $IP );
$wgCommandLineMode = false;
-include_once( "./LocalSettings.php" );
+require_once( "./LocalSettings.php" );
global $wgArticlePath;
-include_once( "WebRequest.php" );
+require_once( "WebRequest.php" );
$wgRequest = new WebRequest();
$page = $wgRequest->getVal( "wpDropdown" );