From 15b765c679b1568ce4639b24e9d84f9d02665015 Mon Sep 17 00:00:00 2001
From: Krinkle <krinkle@users.mediawiki.org>
Date: Fri, 6 May 2011 21:55:25 +0000
Subject: [PATCH] mw.util.isMainPage(); Was never released, removing before
 release since it's deprecated: Use wgIsMainPage in mw.config instead.

---
 resources/mediawiki.util/mediawiki.util.js | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/resources/mediawiki.util/mediawiki.util.js b/resources/mediawiki.util/mediawiki.util.js
index b0f1645cfe..39ceb7779b 100644
--- a/resources/mediawiki.util/mediawiki.util.js
+++ b/resources/mediawiki.util/mediawiki.util.js
@@ -270,17 +270,6 @@
 		// Populated by init()
 		'$content' : null,
 
-		/**
-		 * Checks wether the current page is the wiki's main page.
-		 *
-		 * @return Boolean
-		 * @deprecated to be removed in 1.18: Use wgIsMainPage in mw.config instead.
-		 */
-		'isMainPage' : function() {
-			return mw.config.get( 'wgIsMainPage' );
-		},
-
-
 		/**
 		 * Add a link to a portlet menu on the page, such as:
 		 *
-- 
2.20.1