From 902e3400fef9dbf02952dc205430ee31879e96a7 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Sat, 12 Dec 2009 22:22:26 +0000
Subject: [PATCH] Readded definition for doxygen's Maintenance group that was
 removed in r55810

---
 maintenance/Maintenance.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index bcd2913a20..90d5f93d36 100644
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -1,4 +1,10 @@
 <?php
+/**
+ * @file
+ * @ingroup Maintenance
+ * @defgroup Maintenance Maintenance
+ */
+
 // Define this so scripts can easily find doMaintenance.php
 define( 'DO_MAINTENANCE', dirname( __FILE__ ) . '/doMaintenance.php' );
 $maintClass = false;
-- 
2.20.1