From 1fc2bb9b0ecab78b26a600ad36139d30493f480a Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Tue, 3 Jul 2012 14:04:52 +0200 Subject: [PATCH] parse.php note about using ^D to end output Change-Id: I8ddc6b565044038ba1660dcd3a5942f82420ca9a --- maintenance/parse.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/maintenance/parse.php b/maintenance/parse.php index 876f28e940..15ed5ace18 100644 --- a/maintenance/parse.php +++ b/maintenance/parse.php @@ -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 ); -- 2.20.1