wikimedia/mediawiki-extensions-TemplateData
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData synced 2024-11-11 16:59:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove global function gzdecode fallback

Browse source 
Moved into MediaWiki core (as of 1.22alpha) in change f72117e768.

Change-Id: I6383e933b10d8fca2a855c6b3e287264b176abb8
This commit is contained in:
Timo Tijhof 2013-09-17 12:24:54 +02:00 committed by Krinkle
parent 7bf85a39a1
commit fc9da6c7bf
1 changed files with 2 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
TemplateData.php
View file

@ -6,8 +6,8 @@
* @ingroup Extensions
*/
if ( version_compare( $wgVersion, '1.20', '<' ) ) {
echo "Extension:TemplateData requires MediaWiki 1.20 or higher.\n";
if ( version_compare( $wgVersion, '1.22alpha', '<' ) ) {
echo "Extension:TemplateData requires MediaWiki 1.22alpha or higher.\n";
exit( 1 );
}
@ -48,11 +48,3 @@ $wgResourceModules['ext.templateData'] = array(
'localBasePath' => $dir,
'remoteExtPath' => 'TemplateData',
);
// gzdecode function only exists in PHP >= 5.4.0
// http://php.net/manual/en/function.gzdecode.php
if ( !function_exists( 'gzdecode' ) ) {
function gzdecode( $data ) {
return gzinflate( substr( $data, 10, -8 ) );
}
}