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

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

Browse source 
* Prevents from being accidentally added to packagist
* Duplicates extension.json

Change-Id: Ie9a783cf14f49dd6251bf511098d2e5aa21e5fe1
This commit is contained in:
Kunal Mehta 2015-05-18 01:32:02 -07:00
parent 4ebb98f4b8
commit 2746db5ee4
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+",
"require-dev": {
"jakub-onderka/php-parallel-lint": "0.8.0",