From c3fdcc78d6125e0381c8d928b3b4feb02050ae3c Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sun, 14 Aug 2005 12:24:27 +0000
Subject: [PATCH] removed phpdoc cruft

---
 maintenance/storage/dumpRev.php | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/maintenance/storage/dumpRev.php b/maintenance/storage/dumpRev.php
index b665d93d1c..4d0ccb5853 100644
--- a/maintenance/storage/dumpRev.php
+++ b/maintenance/storage/dumpRev.php
@@ -1,11 +1,5 @@
 <?php
-/**
- * @todo document
- * @package MediaWiki
- * @subpackage Maintenance
- */
 
-/** */
 require_once( 'commandLine.inc' );
 $dbr =& wfGetDB( DB_SLAVE );
 $row = $dbr->selectRow( 'old', array( 'old_flags', 'old_text' ), array( 'old_id' => $args[0] ) );
-- 
2.20.1