Remove unused global $wgMemc
authorPlatonides <platonides@gmail.com>
Tue, 26 Feb 2013 21:41:39 +0000 (22:41 +0100)
committerReedy <reedy@wikimedia.org>
Wed, 27 Feb 2013 18:32:02 +0000 (18:32 +0000)
Rename $type so it's not unused

Change-Id: If74c659a4ae507d8d59fe4d17e77f13f5e646c95

maintenance/nextJobDB.php

index 6cc8566..f5bf4da 100644 (file)
@@ -37,10 +37,9 @@ class nextJobDB extends Maintenance {
        }
 
        public function execute() {
-               global $wgMemc, $wgJobTypesExcludedFromDefaultQueue;
-
-               $type = false; // job type required/picked
+               global $wgJobTypesExcludedFromDefaultQueue;
 
+               // job type required/picked
                if ( $this->hasOption( 'types' ) ) {
                        $types = explode( ' ', $this->getOption( 'types' ) );
                } elseif ( $this->hasOption( 'type' ) ) {