* To get decent line editing behavior, you should compile PHP with support
* for GNU readline (pass --with-readline to configure).
*
- * @addtogroup Maintenance
+ * @file
+ * @ingroup Maintenance
*/
-$wgForceLoadBalancing = (getenv('MW_BALANCE') ? true : false);
-$wgUseNormalUser = (getenv('MW_WIKIUSER') ? true : false);
-if (getenv('MW_PROFILING')) {
- define('MW_CMDLINE_CALLBACK', 'wfSetProfiling');
-}
-function wfSetProfiling() { $GLOBALS['wgProfiling'] = true; }
+$wgUseNormalUser = (bool)getenv( 'MW_WIKIUSER' );
$optionsWithArgs = array( 'd' );
}
}
+if ( function_exists( 'readline_add_history' )
+ && posix_isatty( 0 /*STDIN*/ ) )
+{
+ $useReadline = true;
+} else {
+ $useReadline = false;
+}
+
+if ( $useReadline ) {
+ $historyFile = "{$_ENV['HOME']}/.mweval_history";
+ readline_read_history( $historyFile );
+}
while ( ( $line = readconsole( '> ' ) ) !== false ) {
+ if ( $useReadline ) {
+ readline_add_history( $line );
+ readline_write_history( $historyFile );
+ }
$val = eval( $line . ";" );
- if( is_null( $val ) ) {
+ if ( is_null( $val ) ) {
echo "\n";
- } elseif( is_string( $val ) || is_numeric( $val ) ) {
+ } elseif ( is_string( $val ) || is_numeric( $val ) ) {
echo "$val\n";
} else {
var_dump( $val );
}
- if ( function_exists( "readline_add_history" ) ) {
- readline_add_history( $line );
- }
}
print "\n";