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

Use https for the description page URL

Browse source 
Change-Id: I1a4cf1daa4d2f1b5580695999ce4d0a46521031d
This commit is contained in:
Catrope 2012-06-20 20:07:28 -07:00
parent fb871329bc
commit 9fa08638e6
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

@ -24,7 +24,7 @@ $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',
);