removed phpdoc cruft

diff --git a/maintenance/storage/dumpRev.php b/maintenance/storage/dumpRev.php
index b665d93..4d0ccb5 100644 (file)
--- 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] ) );