Merge "RCFilters: Allows specifying default highlights from the server"

[lhc/web/wiklou.git] / maintenance / 7zip.inc

diff --git a/maintenance/7zip.inc b/maintenance/7zip.inc
index 6bb0666..751a131 100644 (file)
--- a/maintenance/7zip.inc
+++ b/maintenance/7zip.inc
@@ -3,7 +3,7 @@
  * 7z stream wrapper
  *
  * Copyright © 2005 Brion Vibber <brion@pobox.com>
- * http://www.mediawiki.org/
+ * https://www.mediawiki.org/
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -32,10 +32,11 @@
  * @ingroup Maintenance
  */
 class SevenZipStream {
-       var $stream;
+       protected $stream;
 
        private function stripPath( $path ) {
                $prefix = 'mediawiki.compress.7z://';
+
                return substr( $path, strlen( $prefix ) );
        }
 
@@ -91,4 +92,5 @@ class SevenZipStream {
                return fseek( $this->stream, $offset, $whence );
        }
 }
+
 stream_wrapper_register( 'mediawiki.compress.7z', 'SevenZipStream' );