diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
| commit | 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e (patch) | |
| tree | af68743f2f4a47d13f2b0eb05f5c4aaf86d8ea37 /serialized | |
| parent | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (diff) | |
Update to MediaWiki 1.22.0
Diffstat (limited to 'serialized')
| -rw-r--r-- | serialized/serialize.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/serialized/serialize.php b/serialized/serialize.php index 09aec79e..766c1a51 100644 --- a/serialized/serialize.php +++ b/serialized/serialize.php @@ -24,7 +24,7 @@ if ( !defined( 'MEDIAWIKI' ) ) { $wgNoDBParam = true; $optionsWithArgs = array( 'o' ); - require_once( __DIR__ .'/../maintenance/commandLine.inc' ); + require_once __DIR__ .'/../maintenance/commandLine.inc'; $stderr = fopen( 'php://stderr', 'w' ); if ( !isset( $args[0] ) ) { @@ -65,7 +65,7 @@ if ( !defined( 'MEDIAWIKI' ) ) { //---------------------------------------------------------------------------- function getVars( $_gv_filename ) { - require( $_gv_filename ); + require $_gv_filename; $vars = get_defined_vars(); unset( $vars['_gv_filename'] ); |