Remove unused parameter
[mediawiki.git] / maintenance / purgeOldText.php
blob4a4be4822b11d24f2b2c95b2d34a94bc43d10b48
1 <?php
3 /**
4 * Purge old text records from the database
6 * @file
7 * @ingroup Maintenance
8 * @author Rob Church <robchur@gmail.com>
9 */
11 $options = array( 'purge', 'help' );
12 require_once( 'commandLine.inc' );
13 require_once( 'purgeOldText.inc' );
15 echo( "Purge Old Text\n\n" );
17 if( @$options['help'] ) {
18 ShowUsage();
19 } else {
20 PurgeRedundantText( @$options['purge'] );
23 function ShowUsage() {
24 echo( "Prunes unused text records from the database.\n\n" );
25 echo( "Usage: php purgeOldText.php [--purge]\n\n" );
26 echo( "purge : Performs the deletion\n" );
27 echo( " help : Show this usage information\n" );