API: Various docu and clean-up.
[mediawiki.git] / maintenance / purgeOldText.php
blob3e80c320ccd96bfa782f540f0dad22fd9730e2ac
1 <?php
3 /**
4 * Purge old text records from the database
6 * @addtogroup Maintenance
7 * @author Rob Church <robchur@gmail.com>
8 */
10 $options = array( 'purge', 'help' );
11 require_once( 'commandLine.inc' );
12 require_once( 'purgeOldText.inc' );
14 echo( "Purge Old Text\n\n" );
16 if( @$options['help'] ) {
17 ShowUsage();
18 } else {
19 PurgeRedundantText( @$options['purge'] );
22 function ShowUsage() {
23 echo( "Prunes unused text records from the database.\n\n" );
24 echo( "Usage: php purgeOldText.php [--purge]\n\n" );
25 echo( "purge : Performs the deletion\n" );
26 echo( " help : Show this usage information\n" );