Follow up r75542, in the odd case that Maintenance.php wasn't already loaded.

diff --git a/includes/installer/DatabaseUpdater.php b/includes/installer/DatabaseUpdater.php
index 5b8b9f0..f7f20d3 100644 (file)
--- 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 :)