parse.php note about using ^D to end output
authorAntoine Musso <hashar@free.fr>
Tue, 3 Jul 2012 12:04:52 +0000 (14:04 +0200)
committerAntoine Musso <hashar@free.fr>
Tue, 3 Jul 2012 12:04:52 +0000 (14:04 +0200)
Change-Id: I8ddc6b565044038ba1660dcd3a5942f82420ca9a

maintenance/parse.php

index 876f28e..15ed5ac 100644 (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 );