From 370e83bb0dfd0c70de268c93bf07ad5ee0897192 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 15 Aug 2008 01:29:47 +0200
Subject: Update auf 1.13.0

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

(limited to 'maintenance/deleteDefaultMessages.php')

diff --git a/maintenance/deleteDefaultMessages.php b/maintenance/deleteDefaultMessages.php
index 9a7f5c6a..77e85741 100644
--- a/maintenance/deleteDefaultMessages.php
+++ b/maintenance/deleteDefaultMessages.php
@@ -3,6 +3,9 @@
 /**
  * Deletes all pages in the MediaWiki namespace which were last edited by 
  * "MediaWiki default".
+ *
+ * @file
+ * @ingroup Maintenance
  */
 
 if ( !defined( 'MEDIAWIKI' ) ) {
-- 
cgit v1.2.3-54-g00ecf