Remove unused and undocumented $wgUseMasterForMaintenance

Change-Id: I32b58a869c796f5170fc61d6cedca9b07b7f5762

diff --git a/maintenance/update.php b/maintenance/update.php
index 775fa7b..0103189 100755 (executable)
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -25,7 +25,6 @@
  * @ingroup Maintenance
  */
 
-$wgUseMasterForMaintenance = true;
 require_once __DIR__ . '/Maintenance.php';
 
 /**