DatabaseUpdater add missing $maintenance property
authoraddshore <addshorewiki@gmail.com>
Mon, 6 Mar 2017 21:06:43 +0000 (22:06 +0100)
committeraddshore <addshorewiki@gmail.com>
Mon, 6 Mar 2017 21:06:43 +0000 (22:06 +0100)
Change-Id: I57b1fbbe2f85a74d56c49edef012a185d32ceb1a

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;
 
        /**