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
70
71
72
73
74
75
|
<?php
if ( !defined( 'MEDIAWIKI' ) ) {
$wgNoDBParam = true;
$optionsWithArgs = array( 'o' );
require_once( __DIR__ .'/../maintenance/commandLine.inc' );
$stderr = fopen( 'php://stderr', 'w' );
if ( !isset( $args[0] ) ) {
fwrite( $stderr, "No input file specified\n" );
exit( 1 );
}
if ( wfIsWindows() ) {
$files = array();
foreach ( $args as $arg ) {
$files = array_merge( $files, glob( $arg ) );
}
if ( !$files ) {
fwrite( $stderr, "No files found\n" );
}
} else {
$files = $args;
}
if ( isset( $options['o'] ) ) {
$out = fopen( $options['o'], 'wb' );
if ( !$out ) {
fwrite( $stderr, "Unable to open file \"{$options['o']}\" for output\n" );
exit( 1 );
}
} else {
$out = fopen( 'php://stdout', 'wb' );
}
$vars = array();
foreach ( $files as $inputFile ) {
$vars = array_merge( $vars, getVars( $inputFile ) );
}
fwrite( $out, serialize( $vars ) );
fclose( $out );
exit( 0 );
}
//----------------------------------------------------------------------------
function getVars( $_gv_filename ) {
require( $_gv_filename );
$vars = get_defined_vars();
unset( $vars['_gv_filename'] );
# Clean up line endings
if ( wfIsWindows() ) {
$vars = unixLineEndings( $vars );
}
return $vars;
}
function unixLineEndings( $var ) {
static $recursionLevel = 0;
if ( $recursionLevel > 50 ) {
global $stderr;
fwrite( $stderr, "Error: Recursion limit exceeded. Possible circular reference in array variable.\n" );
exit( 2 );
}
if ( is_array( $var ) ) {
++$recursionLevel;
$var = array_map( 'unixLineEndings', $var );
--$recursionLevel;
} elseif ( is_string( $var ) ) {
$var = str_replace( "\r\n", "\n", $var );
}
return $var;
}
|
