blob: 617083bfe869a15af063c2532053c386a9a5b971 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
<?php
/**
* Stream wrapper around 7za filter program.
* Required since we can't pass an open file resource to XMLReader->open()
* which is used for the text prefetch.
*
* @ingroup Maintenance
*/
class SevenZipStream {
var $stream;
private function stripPath( $path ) {
$prefix = 'mediawiki.compress.7z://';
return substr( $path, strlen( $prefix ) );
}
function stream_open( $path, $mode, $options, &$opened_path ) {
if( $mode[0] == 'r' ) {
$options = 'e -bd -so';
} elseif( $mode[0] == 'w' ) {
$options = 'a -bd -si';
} else {
return false;
}
$arg = wfEscapeShellArg( $this->stripPath( $path ) );
$command = "7za $options $arg";
if( !wfIsWindows() ) {
// Suppress the stupid messages on stderr
$command .= ' 2>/dev/null';
}
$this->stream = popen( $command, $mode );
return ($this->stream !== false);
}
function url_stat( $path, $flags ) {
return stat( $this->stripPath( $path ) );
}
// This is all so lame; there should be a default class we can extend
function stream_close() {
return fclose( $this->stream );
}
function stream_flush() {
return fflush( $this->stream );
}
function stream_read( $count ) {
return fread( $this->stream, $count );
}
function stream_write( $data ) {
return fwrite( $this->stream, $data );
}
function stream_tell() {
return ftell( $this->stream );
}
function stream_eof() {
return feof( $this->stream );
}
function stream_seek( $offset, $whence ) {
return fseek( $this->stream, $offset, $whence );
}
}
stream_wrapper_register( 'mediawiki.compress.7z', 'SevenZipStream' );
|
