wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-28 10:11:03 +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 ae998987dc
commit f3a80cfd9f
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
WikiEditor.php
View file

@ -53,7 +53,7 @@ $wgExtensionCredits['other'][] = array(
'name' => 'WikiEditor', 'name' => 'WikiEditor',
'author' => array( 'Trevor Parscal', 'Roan Kattouw', 'Nimish Gautam', 'Adam Miller' ), 'author' => array( 'Trevor Parscal', 'Roan Kattouw', 'Nimish Gautam', 'Adam Miller' ),
'version' => '0.3.1', 'version' => '0.3.1',
'url' => 'http://www.mediawiki.org/wiki/Extension:WikiEditor', 'url' => 'https://www.mediawiki.org/wiki/Extension:WikiEditor',
'descriptionmsg' => 'wikieditor-desc', 'descriptionmsg' => 'wikieditor-desc',
); );
$wgAutoloadClasses['WikiEditorHooks'] = dirname( __FILE__ ) . '/WikiEditor.hooks.php'; $wgAutoloadClasses['WikiEditorHooks'] = dirname( __FILE__ ) . '/WikiEditor.hooks.php';