2004-06-02 02:16:40 +00:00
|
|
|
<?php
|
2004-09-03 20:33:01 +00:00
|
|
|
/**
|
|
|
|
|
* @todo document
|
|
|
|
|
* @package MediaWiki
|
|
|
|
|
* @subpackage Maintenance
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
/** */
|
2004-06-13 04:36:53 +00:00
|
|
|
require_once( "commandLine.inc" );
|
2004-06-02 02:16:40 +00:00
|
|
|
|
|
|
|
|
do {
|
2004-06-12 12:59:45 +00:00
|
|
|
$line = readconsole( "> " );
|
|
|
|
|
eval( $line . ";" );
|
2004-06-02 02:16:40 +00:00
|
|
|
if ( function_exists( "readline_add_history" ) ) {
|
|
|
|
|
readline_add_history( $line );
|
|
|
|
|
}
|
|
|
|
|
} while ( 1 );
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
?>
|
