DELAYED can be trouble, when edit rate exceeds insert rate
[mediawiki.git] / maintenance / eval.php
blob6c59d0c38c4ff6b1a79e58d48b6ebc45e6089a53
1 <?php
2 require_once( "commandLine.inc" );
4 do {
5 $line = readconsole( "> " );
6 eval( $line . ";" );
7 if ( function_exists( "readline_add_history" ) ) {
8 readline_add_history( $line );
10 } while ( 1 );