From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 3 May 2012 13:01:35 +0200
Subject: Update to MediaWiki 1.19.0

---
 maintenance/formatInstallDoc.php | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'maintenance/formatInstallDoc.php')

diff --git a/maintenance/formatInstallDoc.php b/maintenance/formatInstallDoc.php
index 9acc16a7..b3bb50ca 100644
--- a/maintenance/formatInstallDoc.php
+++ b/maintenance/formatInstallDoc.php
@@ -1,4 +1,7 @@
 <?php
+/**
+ * @ingroup Maintenance
+ */
 
 require_once( dirname( __FILE__ ) .'/Maintenance.php' );
 
-- 
cgit v1.2.2