diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
| commit | 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e (patch) | |
| tree | af68743f2f4a47d13f2b0eb05f5c4aaf86d8ea37 /maintenance/parse.php | |
| parent | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (diff) | |
Update to MediaWiki 1.22.0
Diffstat (limited to 'maintenance/parse.php')
| -rw-r--r-- | maintenance/parse.php | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/maintenance/parse.php b/maintenance/parse.php index 58e76b0a..3ac7a281 100644 --- a/maintenance/parse.php +++ b/maintenance/parse.php @@ -49,7 +49,7 @@ * @license GNU General Public License 2.0 or later */ -require_once( __DIR__ . '/Maintenance.php' ); +require_once __DIR__ . '/Maintenance.php'; /** * Maintenance script to parse some wikitext. @@ -85,12 +85,12 @@ class CLIParser extends Maintenance { */ protected function Wikitext() { - $php_stdin = 'php://stdin'; + $php_stdin = 'php://stdin'; $input_file = $this->getArg( 0, $php_stdin ); - if( $input_file === $php_stdin ) { + if ( $input_file === $php_stdin ) { $ctrl = wfIsWindows() ? 'CTRL+Z' : 'CTRL+D'; - $this->error( basename(__FILE__) .": warning: reading wikitext from STDIN. Press $ctrl to parse.\n" ); + $this->error( basename( __FILE__ ) . ": warning: reading wikitext from STDIN. Press $ctrl to parse.\n" ); } return file_get_contents( $input_file ); @@ -113,7 +113,7 @@ class CLIParser extends Maintenance { $title = $this->getOption( 'title' ) ? $this->getOption( 'title' ) - : 'CLIParser' ; + : 'CLIParser'; return Title::newFromText( $title ); } @@ -131,4 +131,4 @@ class CLIParser extends Maintenance { } $maintClass = "CLIParser"; -require_once( RUN_MAINTENANCE_IF_MAIN ); +require_once RUN_MAINTENANCE_IF_MAIN; |