Remove duplicate runChild() call
authorReedy <reedy@wikimedia.org>
Mon, 29 Jul 2013 21:56:53 +0000 (22:56 +0100)
committerIAlex <codereview@emsenhuber.ch>
Sun, 25 Aug 2013 06:46:16 +0000 (06:46 +0000)
Change-Id: Ie8479dbb05bed5ec2e99b3ee1292a15f05c53259

maintenance/update.php

index 6fcec2c..5df9f32 100644 (file)
@@ -159,7 +159,6 @@ class UpdateMediaWiki extends Maintenance {
                                continue;
                        }
 
-                       $child = $this->runChild( $maint );
                        $child->execute();
                        if ( !$isLoggedUpdate ) {
                                $updater->insertUpdateRow( $maint );