Index: branches/wmf/1.18wmf1/extensions/Gadgets/Gadgets.php |
— | — | @@ -17,9 +17,9 @@ |
18 | 18 | die( 1 ); |
19 | 19 | } |
20 | 20 | |
21 | | -if ( version_compare( $wgVersion, '1.18alpha', '<' ) ) { |
22 | | - die( "This version of Extension:Gadgets requires MediaWiki 1.18+\n" ); |
23 | | -} |
| 21 | +#if ( version_compare( $wgVersion, '1.18alpha', '<' ) ) { |
| 22 | +# die( "This version of Extension:Gadgets requires MediaWiki 1.18+\n" ); |
| 23 | +#} |
24 | 24 | |
25 | 25 | $wgExtensionCredits['other'][] = array( |
26 | 26 | 'path' => __FILE__, |