diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
commit | 63601400e476c6cf43d985f3e7b9864681695ed4 (patch) | |
tree | f7846203a952e38aaf66989d0a4702779f549962 /extensions/Gadgets/Gadgets.php | |
parent | 8ff01378c9e0207f9169b81966a51def645b6a51 (diff) |
Update to MediaWiki 1.20.2
this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024
Diffstat (limited to 'extensions/Gadgets/Gadgets.php')
-rw-r--r-- | extensions/Gadgets/Gadgets.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extensions/Gadgets/Gadgets.php b/extensions/Gadgets/Gadgets.php index d90f5977..25c22afd 100644 --- a/extensions/Gadgets/Gadgets.php +++ b/extensions/Gadgets/Gadgets.php @@ -16,15 +16,15 @@ if ( !defined( 'MEDIAWIKI' ) ) { die( 1 ); } -if ( version_compare( $wgVersion, '1.18alpha', '<' ) ) { - die( "This version of Extension:Gadgets requires MediaWiki 1.18+\n" ); +if ( version_compare( $wgVersion, '1.19', '<' ) ) { + die( "This version of Extension:Gadgets requires MediaWiki 1.19+\n" ); } $wgExtensionCredits['other'][] = array( 'path' => __FILE__, 'name' => 'Gadgets', 'author' => array( 'Daniel Kinzler', 'Max Semenik' ), - 'url' => 'http://mediawiki.org/wiki/Extension:Gadgets', + 'url' => 'https://mediawiki.org/wiki/Extension:Gadgets', 'descriptionmsg' => 'gadgets-desc', ); |