wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-11-27 17:50:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update a butt-ton of extension about URLs to point to https://www.mediawiki.org/

Browse source
This commit is contained in:
Brion Vibber 2011-12-13 23:49:33 +00:00
parent 4c4eab6dd2
commit f98de3794b
Notes: Brion Vibber 2011-12-13 23:49:33 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/106136
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Editcount.php
View file

@ -18,7 +18,7 @@ $wgExtensionCredits['specialpage'][] = array(
'name' => 'Editcount', 'name' => 'Editcount',
'author' => 'Ævar Arnfjörð Bjarmason', 'author' => 'Ævar Arnfjörð Bjarmason',
'descriptionmsg' => 'editcount-desc', 'descriptionmsg' => 'editcount-desc',
'url' => 'http://www.mediawiki.org/wiki/Extension:Editcount', 'url' => 'https://www.mediawiki.org/wiki/Extension:Editcount',
); );
$dir = dirname(__FILE__) . '/'; $dir = dirname(__FILE__) . '/';