Merge "DatabaseUpdater add missing $maintenance property"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 6 Mar 2017 22:06:29 +0000 (22:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 6 Mar 2017 22:06:30 +0000 (22:06 +0000)
includes/installer/DatabaseUpdater.php

index caaab46..f8ab1f2 100644 (file)
@@ -59,6 +59,11 @@ abstract class DatabaseUpdater {
         */
        protected $db;
 
+       /**
+        * @var Maintenance
+        */
+       protected $maintenance;
+
        protected $shared = false;
 
        /**