diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2020-01-09 15:48:34 -0800 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2020-01-10 14:17:13 -0800 |
| commit | 0958a0bce4bd8390c97ce2042f1eb04df8308293 (patch) | |
| tree | a1f9eb5d647b1150c3188f698129e3eb7a0c1393 /includes/export | |
| parent | 41f8acfd52b36759f7a10196f36af5e2d9f81427 (diff) | |
| download | mediawikicore-0958a0bce4bd8390c97ce2042f1eb04df8308293.tar.gz mediawikicore-0958a0bce4bd8390c97ce2042f1eb04df8308293.zip | |
Coding style: Auto-fix MediaWiki.Usage.IsNull.IsNull
Change-Id: I90cfe8366c0245c9c67e598d17800684897a4e27
Diffstat (limited to 'includes/export')
| -rw-r--r-- | includes/export/DumpPipeOutput.php | 2 | ||||
| -rw-r--r-- | includes/export/WikiExporter.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/includes/export/DumpPipeOutput.php b/includes/export/DumpPipeOutput.php index 10003c53bdde..89fcbe51d3a6 100644 --- a/includes/export/DumpPipeOutput.php +++ b/includes/export/DumpPipeOutput.php @@ -40,7 +40,7 @@ class DumpPipeOutput extends DumpFileOutput { * @param string|null $file */ public function __construct( $command, $file = null ) { - if ( !is_null( $file ) ) { + if ( $file !== null ) { $command .= " > " . Shell::escape( $file ); } diff --git a/includes/export/WikiExporter.php b/includes/export/WikiExporter.php index 1da16145a0be..4ad877459b3b 100644 --- a/includes/export/WikiExporter.php +++ b/includes/export/WikiExporter.php @@ -203,7 +203,7 @@ class WikiExporter { */ public function pageByName( $name ) { $title = Title::newFromText( $name ); - if ( is_null( $title ) ) { + if ( $title === null ) { throw new MWException( "Can't export invalid title" ); } else { $this->pageByTitle( $title ); |