diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2012-01-12 13:42:29 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2012-01-12 13:42:29 +0100 |
| commit | ba0fc4fa20067528effd4802e53ceeb959640825 (patch) | |
| tree | 4f62217349d3afa39dbba3f7e19dac0aecb344f6 /maintenance/eval.php | |
| parent | ca32f08966f1b51fcb19460f0996bb0c4048e6fe (diff) | |
Update to MediaWiki 1.18.1
Diffstat (limited to 'maintenance/eval.php')
| -rw-r--r-- | maintenance/eval.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/eval.php b/maintenance/eval.php index 33c9a5d7..1502ad3e 100644 --- a/maintenance/eval.php +++ b/maintenance/eval.php @@ -58,7 +58,7 @@ if ( isset( $options['d'] ) ) { } if ( function_exists( 'readline_add_history' ) - && posix_isatty( 0 /*STDIN*/ ) ) + && Maintenance::posix_isatty( 0 /*STDIN*/ ) ) { $useReadline = true; } else { |