diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-07-25 21:42:32 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-07-25 21:42:32 +0000 |
| commit | bd62b3562ab80c5da331fe4d4eeb9bbf336e79c3 (patch) | |
| tree | a1a9875b4cb20981ba7500c405585eee6e1b8cc0 /includes/export/DumpFileOutput.php | |
| parent | 8813f76a558d725a1526483e6ba519a5d18f202b (diff) | |
| parent | f5fa7a94d912cba104010538e971f2dc13c17786 (diff) | |
| download | mediawikicore-bd62b3562ab80c5da331fe4d4eeb9bbf336e79c3.tar.gz mediawikicore-bd62b3562ab80c5da331fe4d4eeb9bbf336e79c3.zip | |
Merge "Improve type hints in export related classes"
Diffstat (limited to 'includes/export/DumpFileOutput.php')
| -rw-r--r-- | includes/export/DumpFileOutput.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/includes/export/DumpFileOutput.php b/includes/export/DumpFileOutput.php index 4bec7d4532b5..d0256fd877f2 100644 --- a/includes/export/DumpFileOutput.php +++ b/includes/export/DumpFileOutput.php @@ -27,7 +27,10 @@ * @ingroup Dump */ class DumpFileOutput extends DumpOutput { - protected $handle = false, $filename; + /** @var resource|false */ + protected $handle = false; + /** @var string */ + protected $filename; /** * @param string $file @@ -73,7 +76,7 @@ class DumpFileOutput extends DumpOutput { } /** - * @param array $newname + * @param string|string[] $newname * @return string * @throws MWException */ |