diff options
| author | Reedy <reedy@wikimedia.org> | 2020-05-19 22:49:33 +0100 |
|---|---|---|
| committer | Timo Tijhof <krinklemail@gmail.com> | 2020-05-20 03:33:39 +0100 |
| commit | 3b94e2af1c83796756ed330df234d5abcb34e486 (patch) | |
| tree | 1c6bc4464b80f258e16c1a069882d33079040a73 /maintenance/includes/SevenZipStream.php | |
| parent | dadd8687a834760a22556033a0a57fa3409e51d5 (diff) | |
| download | mediawikicore-3b94e2af1c83796756ed330df234d5abcb34e486.tar.gz mediawikicore-3b94e2af1c83796756ed330df234d5abcb34e486.zip | |
Narrow MediaWiki.Commenting.FunctionComment.WrongStyle
Change-Id: I95d1195f09a806910559a0c5106d472addd3dec4
Diffstat (limited to 'maintenance/includes/SevenZipStream.php')
| -rw-r--r-- | maintenance/includes/SevenZipStream.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/maintenance/includes/SevenZipStream.php b/maintenance/includes/SevenZipStream.php index 6d874512e31a..2fa4fa1b7084 100644 --- a/maintenance/includes/SevenZipStream.php +++ b/maintenance/includes/SevenZipStream.php @@ -64,8 +64,6 @@ class SevenZipStream { return stat( $this->stripPath( $path ) ); } - // This is all so lame; there should be a default class we can extend - public function stream_close() { return fclose( $this->stream ); } |