From 97925bfa4dae1e8af1430dc2423fd44dfdafcb1c Mon Sep 17 00:00:00 2001 From: addshore Date: Sun, 26 Jan 2014 19:59:23 +0100 Subject: [PATCH] Remove unused globals Change-Id: Id1c27653650f1d60892a9fddf4f6fa5dd534615f --- includes/specials/SpecialWatchlist.php | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/includes/specials/SpecialWatchlist.php b/includes/specials/SpecialWatchlist.php index aef50c04dc..519b6c2653 100644 --- a/includes/specials/SpecialWatchlist.php +++ b/includes/specials/SpecialWatchlist.php @@ -41,7 +41,7 @@ class SpecialWatchlist extends ChangesListSpecialPage { * @param string $subpage */ function execute( $subpage ) { - global $wgRCShowWatchingUsers, $wgEnotifWatchlist, $wgShowUpdatedMarker; + global $wgEnotifWatchlist, $wgShowUpdatedMarker; // Anons don't get a watchlist $this->requireLogin( 'watchlistanontext' ); @@ -388,8 +388,6 @@ class SpecialWatchlist extends ChangesListSpecialPage { * @return string XHTML */ public function doHeader( $opts ) { - global $wgScript; - $user = $this->getUser(); $this->setTopText( $opts ); -- 2.20.1