Index: trunk/phase3/maintenance/rebuildFileCache.php |
— | — | @@ -33,7 +33,7 @@ |
34 | 34 | |
35 | 35 | public function execute() { |
36 | 36 | global $wgUseFileCache, $wgDisableCounters, $wgContentNamespaces, $wgRequestTime; |
37 | | - global $wgTitle, $wgArticle, $wgOut, $wgUser; |
| 37 | + global $wgTitle, $wgArticle, $wgOut; |
38 | 38 | if ( !$wgUseFileCache ) { |
39 | 39 | $this->error( "Nothing to do -- \$wgUseFileCache is disabled.", true ); |
40 | 40 | } |
Index: trunk/phase3/maintenance/refreshLinks.php |
— | — | @@ -60,7 +60,7 @@ |
61 | 61 | */ |
62 | 62 | private function doRefreshLinks( $start, $newOnly = false, $maxLag = false, |
63 | 63 | $end = 0, $redirectsOnly = false, $oldRedirectsOnly = false ) { |
64 | | - global $wgUser, $wgParser, $wgUseTidy; |
| 64 | + global $wgParser, $wgUseTidy; |
65 | 65 | |
66 | 66 | $reportingInterval = 100; |
67 | 67 | $dbr = wfGetDB( DB_SLAVE ); |
Index: trunk/phase3/includes/OutputPage.php |
— | — | @@ -2358,8 +2358,7 @@ |
2359 | 2359 | * @return String: The doctype, opening <html>, and head element. |
2360 | 2360 | */ |
2361 | 2361 | public function headElement( Skin $sk, $includeStyle = true ) { |
2362 | | - global $wgOutputEncoding, $wgMimeType; |
2363 | | - global $wgUseTrackbacks, $wgHtml5; |
| 2362 | + global $wgUseTrackbacks; |
2364 | 2363 | |
2365 | 2364 | if ( $sk->commonPrintStylesheet() ) { |
2366 | 2365 | $this->addModuleStyles( 'mediawiki.legacy.wikiprintable' ); |