From de764f68dcc194030ed5918f5e647384b6f00eff Mon Sep 17 00:00:00 2001
From: Chad Horohoe <chadh@wikimedia.org>
Date: Mon, 13 Jun 2016 19:24:48 -0700
Subject: [PATCH] Remove unused and undocumented $wgUseMasterForMaintenance

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

diff --git a/maintenance/update.php b/maintenance/update.php
index 775fa7bed4..0103189944 100755
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -25,7 +25,6 @@
  * @ingroup Maintenance
  */
 
-$wgUseMasterForMaintenance = true;
 require_once __DIR__ . '/Maintenance.php';
 
 /**
-- 
2.20.1