Fix for file cache on PHP 4.1.2. The text string seems to be passed by
[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 );