| Index: trunk/phase3/resources/mediawiki.util/mediawiki.util.js |
| — | — | @@ -271,17 +271,6 @@ |
| 272 | 272 | '$content' : null, |
| 273 | 273 | |
| 274 | 274 | /** |
| 275 | | - * Checks wether the current page is the wiki's main page. |
| 276 | | - * |
| 277 | | - * @return Boolean |
| 278 | | - * @deprecated to be removed in 1.18: Use wgIsMainPage in mw.config instead. |
| 279 | | - */ |
| 280 | | - 'isMainPage' : function() { |
| 281 | | - return mw.config.get( 'wgIsMainPage' ); |
| 282 | | - }, |
| 283 | | - |
| 284 | | - |
| 285 | | - /** |
| 286 | 275 | * Add a link to a portlet menu on the page, such as: |
| 287 | 276 | * |
| 288 | 277 | * p-cactions (Content actions), p-personal (Personal tools), |