diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
| commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
| tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /maintenance/parse.php | |
| parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) | |
Update to MediaWiki 1.26.0
Diffstat (limited to 'maintenance/parse.php')
| -rw-r--r-- | maintenance/parse.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/maintenance/parse.php b/maintenance/parse.php index 7b05cb7b..d6559657 100644 --- a/maintenance/parse.php +++ b/maintenance/parse.php @@ -89,11 +89,10 @@ class CLIParser extends Maintenance { * @return string Wikitext */ protected function Wikitext() { - $php_stdin = 'php://stdin'; $input_file = $this->getArg( 0, $php_stdin ); - if ( $input_file === $php_stdin ) { + if ( $input_file === $php_stdin && !$this->mQuiet ) { $ctrl = wfIsWindows() ? 'CTRL+Z' : 'CTRL+D'; $this->error( basename( __FILE__ ) . ": warning: reading wikitext from STDIN. Press $ctrl to parse.\n" ); |