Remove unused globals
authorSam Reed <reedy@users.mediawiki.org>
Mon, 11 Apr 2011 13:53:57 +0000 (13:53 +0000)
committerSam Reed <reedy@users.mediawiki.org>
Mon, 11 Apr 2011 13:53:57 +0000 (13:53 +0000)
includes/OutputPage.php
maintenance/rebuildFileCache.php
maintenance/refreshLinks.php

index 67e31b4..ad1a26d 100644 (file)
@@ -2358,8 +2358,7 @@ class OutputPage {
         * @return String: The doctype, opening <html>, and head element.
         */
        public function headElement( Skin $sk, $includeStyle = true ) {
-               global $wgOutputEncoding, $wgMimeType;
-               global $wgUseTrackbacks, $wgHtml5;
+               global $wgUseTrackbacks;
 
                if ( $sk->commonPrintStylesheet() ) {
                        $this->addModuleStyles( 'mediawiki.legacy.wikiprintable' );
index ddbd15a..5028cbe 100644 (file)
@@ -33,7 +33,7 @@ class RebuildFileCache extends Maintenance {
 
        public function execute() {
                global $wgUseFileCache, $wgDisableCounters, $wgContentNamespaces, $wgRequestTime;
-               global $wgTitle, $wgArticle, $wgOut, $wgUser;
+               global $wgTitle, $wgArticle, $wgOut;
                if ( !$wgUseFileCache ) {
                        $this->error( "Nothing to do -- \$wgUseFileCache is disabled.", true );
                }
index 03bfbe7..420f555 100644 (file)
@@ -60,7 +60,7 @@ class RefreshLinks extends Maintenance {
         */
        private function doRefreshLinks( $start, $newOnly = false, $maxLag = false,
                                                $end = 0, $redirectsOnly = false, $oldRedirectsOnly = false ) {
-               global $wgUser, $wgParser, $wgUseTidy;
+               global $wgParser, $wgUseTidy;
 
                $reportingInterval = 100;
                $dbr = wfGetDB( DB_SLAVE );