summaryrefslogtreecommitdiff
path: root/maintenance/eval.php
blob: 3cc1d16ab7522ac143e424543610f59cf4a44c55 (plain)
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
<?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).
 *
 * @file
 * @ingroup Maintenance
 */

$wgUseNormalUser = (bool)getenv( 'MW_WIKIUSER' );

$optionsWithArgs = array( 'd' );

/** */
require_once( "commandLine.inc" );

if ( isset( $options['d'] ) ) {
	$d = $options['d'];
	if ( $d > 0 ) {
		$wgDebugLogFile = '/dev/stdout';
	}
	if ( $d > 1 ) {
		$lb = wfGetLB();
		foreach ( $lb->mServers as $i => $server ) {
			$lb->mServers[$i]['flags'] |= DBO_DEBUG;
		}
	}
	if ( $d > 2 ) {
		$wgDebugFunctionEntry = true;
	}
}

if ( function_exists( 'readline_add_history' )
	&& posix_isatty( 0 /*STDIN*/ ) )
{
	$useReadline = true;
} else {
	$useReadline = false;
}

if ( $useReadline ) {
	$historyFile = isset( $_ENV['HOME'] ) ?
		"{$_ENV['HOME']}/.mweval_history" : "$IP/maintenance/.mweval_history";
	readline_read_history( $historyFile );
}

while ( ( $line = Maintenance::readconsole() ) !== false ) {
	if ( $useReadline ) {
		readline_add_history( $line );
		readline_write_history( $historyFile );
	}
	$val = eval( $line . ";" );
	if ( is_null( $val ) ) {
		echo "\n";
	} elseif ( is_string( $val ) || is_numeric( $val ) ) {
		echo "$val\n";
	} else {
		var_dump( $val );
	}
}

print "\n";