wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Per r97367 CR. Add 'alpha'. 1.18alpha is less than 1.18, and it works in that version as well

Browse source
This commit is contained in:
Krinkle 2011-09-17 16:34:58 +00:00
parent e941ac9d18
commit c818d05339
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gadgets.php
View file

@ -17,7 +17,7 @@ if( !defined( 'MEDIAWIKI' ) ) {
die( 1 ); die( 1 );
} }
if ( version_compare( $wgVersion, '1.18', '<' ) ) { if ( version_compare( $wgVersion, '1.18alpha', '<' ) ) {
die( "This version of Extension:Gadgets requires MediaWiki 1.18+\n" ); die( "This version of Extension:Gadgets requires MediaWiki 1.18+\n" );
} }