parse.php note about using ^D to end output

Change-Id: I8ddc6b565044038ba1660dcd3a5942f82420ca9a
This commit is contained in:
Antoine Musso 2012-07-03 14:04:52 +02:00
parent d076381165
commit 1fc2bb9b0e

View file

@ -66,7 +66,7 @@ class CLIParser extends Maintenance {
$input_file = $this->getArg( 0, $php_stdin );
if( $input_file === $php_stdin ) {
$this->error( basename(__FILE__) .": warning: reading wikitext from STDIN\n" );
$this->error( basename(__FILE__) .": warning: reading wikitext from STDIN. Press CTRL+D to parse.\n" );
}
return file_get_contents( $input_file );