mw.util.isMainPage(); Was never released, removing before release since it's deprecat...

diff --git a/resources/mediawiki.util/mediawiki.util.js b/resources/mediawiki.util/mediawiki.util.js
index b0f1645..39ceb77 100644 (file)
--- 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:
                 *