wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 00:06:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bump version to 0.5.0 to reflect massive updates in last year

Browse source 
Plenty of things have happened since the last update in
For instance the apparent fix of T65762, addition of EventLogging
logging, countless fixes and removals of dead/unsupported code.

Also add current main maintainer as first author name and update
composer.json so that Jenkins jobs pass.

Change-Id: I77bc74f7f4dc2b48b9d970b8d51001d44c2b3005
This commit is contained in:
Nemo bis 2015-05-17 09:07:32 +02:00 committed by Siebrand Mazeland
parent 0d5f77e0f5
commit 3cb4714e15
2 changed files with 13 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
WikiEditor.php
View file

@ -39,8 +39,14 @@ $wgWikiEditorFeatures = array(
$wgExtensionCredits['other'][] = array(
'path' => __FILE__,
'name' => 'WikiEditor',
'author' => array( 'Trevor Parscal', 'Roan Kattouw', 'Nimish Gautam', 'Adam Miller' ),
'version' => '0.4.0',
'author' => array(
'Derk-Jan Hartman',
'Trevor Parscal',
'Roan Kattouw',
'Nimish Gautam',
'Adam Miller'
),
'version' => '0.5.0',
'url' => 'https://www.mediawiki.org/wiki/Extension:WikiEditor',
'descriptionmsg' => 'wikieditor-desc',
);

5
composer.json
View file

@ -1,4 +1,9 @@
{
"name": "mediawiki/wikieditor",
"type": "mediawiki-extension",
"description": "Advanced wikitext editing interface",
"homepage": "https://www.mediawiki.org/wiki/Extension:WikiEditor",
"license": "GPL-2.0+",
"require-dev": {
"jakub-onderka/php-parallel-lint": "0.8.0",
"mediawiki/mediawiki-codesniffer": "0.1.0"