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

Merge "Remove name, type, description, homepage from composer.json"

Browse source
This commit is contained in:
jenkins-bot 2015-05-21 16:58:05 +00:00 committed by Gerrit Code Review
parent 9de4e8cc00 2746db5ee4
commit db2e796b7f
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
composer.json
View file

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