From c9b31e02164350baf4d95ec94860118390582420 Mon Sep 17 00:00:00 2001 From: Chad Horohoe Date: Mon, 9 Aug 2010 18:55:09 +0000 Subject: [PATCH] Remove unnecessary require(). Autoloader already handles this --- index.php | 1 - 1 file changed, 1 deletion(-) diff --git a/index.php b/index.php index 30add938e0..dcea36b5b7 100644 --- a/index.php +++ b/index.php @@ -41,7 +41,6 @@ $preIP = dirname( __FILE__ ); require_once( "$preIP/includes/WebStart.php" ); # Initialize MediaWiki base class -require_once( "$preIP/includes/Wiki.php" ); $mediaWiki = new MediaWiki(); wfProfileIn( 'main-misc-setup' ); -- 2.20.1