From cd40724c5e8a975fce5fcfa76b5349f5efc3288d Mon Sep 17 00:00:00 2001
From: addshore <addshorewiki@gmail.com>
Date: Mon, 6 Mar 2017 22:06:43 +0100
Subject: [PATCH] DatabaseUpdater add missing $maintenance property

Change-Id: I57b1fbbe2f85a74d56c49edef012a185d32ceb1a
---
 includes/installer/DatabaseUpdater.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/includes/installer/DatabaseUpdater.php b/includes/installer/DatabaseUpdater.php
index caaab46fe7..f8ab1f283e 100644
--- a/includes/installer/DatabaseUpdater.php
+++ b/includes/installer/DatabaseUpdater.php
@@ -59,6 +59,11 @@ abstract class DatabaseUpdater {
 	 */
 	protected $db;
 
+	/**
+	 * @var Maintenance
+	 */
+	protected $maintenance;
+
 	protected $shared = false;
 
 	/**
-- 
2.20.1