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