Improve PDF/DJVU navigation

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

diff --git a/maintenance/7zip.inc b/maintenance/7zip.inc
index 6bb0666..590cad2 100644 (file)
--- a/maintenance/7zip.inc
+++ b/maintenance/7zip.inc
@@ -32,7 +32,7 @@
  * @ingroup Maintenance
  */
 class SevenZipStream {
-       var $stream;
+       protected $stream;
 
        private function stripPath( $path ) {
                $prefix = 'mediawiki.compress.7z://';