00001 <?php 00002 00012 require_once( 'commandLine.inc' ); 00013 require_once( 'nukePage.inc' ); 00014 00015 echo( "Erase Page Record\n\n" ); 00016 00017 if( isset( $args[0] ) ) { 00018 NukePage( $args[0], true ); 00019 } else { 00020 ShowUsage(); 00021 } 00022 00024 function ShowUsage() { 00025 echo( "Remove a page record from the database.\n\n" ); 00026 echo( "Usage: php nukePage.php <title>\n\n" ); 00027 echo( " <title> : Page title; spaces escaped with underscores\n\n" ); 00028 } 00029