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

Re-add version_compare (>= 1.22wmf18)

Browse source 
Follows-up 98cf7e35e.

Change-Id: I07a63effb5cdb14e48c6b69780fe71dc24f17fd9
This commit is contained in:
Timo Tijhof 2013-09-20 00:54:05 +02:00
parent 98cf7e35e3
commit 3ab2b4439a
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
TemplateData.php
View file

@ -6,6 +6,11 @@
* @ingroup Extensions
*/
if ( version_compare( $wgVersion, '1.22wmf18', '<' ) ) {
echo "Extension:TemplateData requires MediaWiki 1.22 or higher.\n";
exit( 1 );
}
$wgExtensionCredits['parserhook'][] = array(
'path' => __FILE__,
'name' => 'TemplateData',