* Erase a page record from the database
* Irreversible (can't use standard undelete) and does not update link tables
*
- * @package MediaWiki
- * @subpackage Maintenance
+ * @file
+ * @ingroup Maintenance
* @author Rob Church <robchur@gmail.com>
*/
echo( " <title> : Page title; spaces escaped with underscores\n\n" );
}
-?>
\ No newline at end of file