dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 1: ff13c3d)
Merge "Remove unused and undocumented $wgUseMasterForMaintenance"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 14 Jun 2016 16:57:54 +0000 (16:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 14 Jun 2016 16:57:54 +0000 (16:57 +0000)
maintenance/update.php patch | blob | history

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';
 
 /**
Wiklou, le Wiki du Wiklou