blob: e211830e0c9f94a6748581371a6e5d0d65577f24 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
<?php
/**
* PHP lacks an interactive mode, but this can be very helpful when debugging.
* This script lets a command-line user start up the wiki engine and then poke
* about by issuing PHP commands directly.
*
* Unlike eg Python, you need to use a 'return' statement explicitly for the
* interactive shell to print out the value of the expression. Multiple lines
* are evaluated separately, so blocks need to be input without a line break.
* Fatal errors such as use of undeclared functions can kill the shell.
*
* To get decent line editing behavior, you should compile PHP with support
* for GNU readline (pass --with-readline to configure).
*
* @package MediaWiki
* @subpackage Maintenance
*/
$wgForceLoadBalancing = (getenv('MW_BALANCE') ? true : false);
$wgUseNormalUser = (getenv('MW_WIKIUSER') ? true : false);
/** */
require_once( "commandLine.inc" );
$line = readconsole( "> " );
while ( $line !== false ) {
$val = eval( $line . ";" );
if( is_null( $val ) ) {
echo "\n";
} elseif( is_string( $val ) || is_numeric( $val ) ) {
echo "$val\n";
} else {
var_dump( $val );
}
if ( function_exists( "readline_add_history" ) ) {
readline_add_history( $line );
}
$line = readconsole( "> " );
}
print "\n";
?>
|
