Change from wgMiserMode to isCached on Special:WithoutInterwikis
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 3 Aug 2012 11:03:08 +0000 (13:03 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 3 Aug 2012 11:03:08 +0000 (13:03 +0200)
This makes it clearer why the input from is not needed.
It does not change anything, because isCached checks isExpensive and
wgMiserMode and isExpensive is true here.

Change-Id: Ib5f775d5ff20b53b91732ca544ec273543afe7d1

includes/specials/SpecialWithoutinterwiki.php

index accef8c..74eedc3 100644 (file)
@@ -41,10 +41,10 @@ class WithoutInterwikiPage extends PageQueryPage {
        }
 
        function getPageHeader() {
-               global $wgScript, $wgMiserMode;
+               global $wgScript;
 
-               # Do not show useless input form if wiki is running in misermode
-               if( $wgMiserMode ) {
+               # Do not show useless input form if special page is cached
+               if( $this->isCached() ) {
                        return '';
                }