From 3112302c73dc1e30a114ee4ead4a6a4caab8b76a Mon Sep 17 00:00:00 2001 From: Sam Reed Date: Mon, 11 Apr 2011 13:53:57 +0000 Subject: [PATCH] Remove unused globals --- includes/OutputPage.php | 3 +-- maintenance/rebuildFileCache.php | 2 +- maintenance/refreshLinks.php | 2 +- 3 files changed, 3 insertions(+), 4 deletions(-) diff --git a/includes/OutputPage.php b/includes/OutputPage.php index 67e31b4574..ad1a26d97b 100644 --- a/includes/OutputPage.php +++ b/includes/OutputPage.php @@ -2358,8 +2358,7 @@ class OutputPage { * @return String: The doctype, opening , 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' ); diff --git a/maintenance/rebuildFileCache.php b/maintenance/rebuildFileCache.php index ddbd15ab84..5028cbe0a4 100644 --- a/maintenance/rebuildFileCache.php +++ b/maintenance/rebuildFileCache.php @@ -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 ); } diff --git a/maintenance/refreshLinks.php b/maintenance/refreshLinks.php index 03bfbe75fd..420f5553a4 100644 --- a/maintenance/refreshLinks.php +++ b/maintenance/refreshLinks.php @@ -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 ); -- 2.20.1