| Index: trunk/phase3/maintenance/parse.php |
| — | — | @@ -66,7 +66,7 @@ |
| 67 | 67 | $input_file = $this->getArg( 0, $php_stdin ); |
| 68 | 68 | |
| 69 | 69 | if( $input_file === $php_stdin ) { |
| 70 | | - fwrite( STDERR, basename(__FILE__) .": warning: reading wikitext from STDIN\n" ); |
| | 70 | + $this->error( basename(__FILE__) .": warning: reading wikitext from STDIN\n" ); |
| 71 | 71 | } |
| 72 | 72 | |
| 73 | 73 | return file_get_contents( $input_file ); |