From 168ffc72a5ad7a349563b5ecf32edd3548c2ea39 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Sun, 31 Oct 2010 19:07:05 +0000
Subject: [PATCH] Follow up r75542, in the odd case that Maintenance.php wasn't
 already loaded.

---
 includes/installer/DatabaseUpdater.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/includes/installer/DatabaseUpdater.php b/includes/installer/DatabaseUpdater.php
index 5b8b9f05f7..f7f20d357e 100644
--- a/includes/installer/DatabaseUpdater.php
+++ b/includes/installer/DatabaseUpdater.php
@@ -5,7 +5,9 @@
  * @file
  * @ingroup Deployment
  */
- 
+
+require_once( dirname(__FILE__) . '/../../maintenance/Maintenance.php' );
+
 /*
  * Class for handling database updates. Roughly based off of updaters.inc, with
  * a few improvements :)
-- 
2.20.1