From 5a9d854a8fdc68c48e7c21eb0e667ef184cf38b1 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Mon, 3 Aug 2009 20:19:47 +0000
Subject: [PATCH] removed double "@ingroup Maintenance"

---
 maintenance/deleteRevision.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/maintenance/deleteRevision.php b/maintenance/deleteRevision.php
index 9be733a15e..cb84085aa1 100644
--- a/maintenance/deleteRevision.php
+++ b/maintenance/deleteRevision.php
@@ -18,7 +18,6 @@
  * http://www.gnu.org/copyleft/gpl.html
  *
  * @ingroup Maintenance
- * @ingroup Maintenance
  */
 
 require_once( "Maintenance.php" );
-- 
2.20.1