From f857f0cd2ed73200349cc2567ff7256392550615 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Mon, 29 Jul 2013 22:56:53 +0100
Subject: [PATCH] Remove duplicate runChild() call

Change-Id: Ie8479dbb05bed5ec2e99b3ee1292a15f05c53259
---
 maintenance/update.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/maintenance/update.php b/maintenance/update.php
index 6fcec2c4cb..5df9f32ad3 100644
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -159,7 +159,6 @@ class UpdateMediaWiki extends Maintenance {
 				continue;
 			}
 
-			$child = $this->runChild( $maint );
 			$child->execute();
 			if ( !$isLoggedUpdate ) {
 				$updater->insertUpdateRow( $maint );
-- 
2.20.1