jenkins-bot has submitted this change and it was merged. Change subject: update composer file ......................................................................
update composer file Change-Id: I88974766c2a72ac16d41c512a75e49b8b778bed5 --- M composer.json 1 file changed, 35 insertions(+), 30 deletions(-) Approvals: Aude: Looks good to me, approved jenkins-bot: Verified diff --git a/composer.json b/composer.json index 4f40fc0..8aa5a3b 100644 --- a/composer.json +++ b/composer.json @@ -1,31 +1,36 @@ { - "name": "diff/diff", - "type": "library", - "description": "Library for diffing, patching and representing differences between complex objects", - "keywords": [ - "diff", - "wikidata" - ], - "homepage": "https://github.com/wikimedia/mediawiki-extensions-Diff", - "license": "GPL-2.0+", - "authors": [ - { - "name": "Jeroen De Dauw", - "email": "jeroended...@gmail.com", - "homepage": "http://jeroendedauw.com", - "role": "Developer" - } - ], - "support": { - "issues": "https://bugzilla.wikimedia.org/", - "irc": "irc://irc.freenode.net/wikimedia-wikidata", - "forum": "https://www.mediawiki.org/wiki/Extension_talk:Diff", - "wiki": "https://www.mediawiki.org/wiki/Extension:Diff" - }, - "require": { - "php": ">=5.3.0" - }, - "require-dev": { - "satooshi/php-coveralls": "dev-master" - } -} \ No newline at end of file + "name": "diff/diff", + "type": "library", + "description": "Library for diffing, patching and representing differences between complex objects", + "keywords": [ + "diff", + "wikidata" + ], + "homepage": "https://github.com/wikimedia/mediawiki-extensions-Diff", + "license": "GPL-2.0+", + "authors": [ + { + "name": "Jeroen De Dauw", + "email": "jeroended...@gmail.com", + "homepage": "http://jeroendedauw.com", + "role": "Developer" + } + ], + "support": { + "issues": "https://bugzilla.wikimedia.org/", + "irc": "irc://irc.freenode.net/wikimedia-wikidata", + "forum": "https://www.mediawiki.org/wiki/Extension_talk:Diff", + "wiki": "https://www.mediawiki.org/wiki/Extension:Diff" + }, + "require": { + "php": ">=5.3.0" + }, + "require-dev": { + "satooshi/php-coveralls": "dev-master" + }, + "autoload": { + "files" : [ + "Diff.php" + ] + } +} -- To view, visit https://gerrit.wikimedia.org/r/88735 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I88974766c2a72ac16d41c512a75e49b8b778bed5 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Diff Gerrit-Branch: mw1.22-wmf21 Gerrit-Owner: Aude <aude.w...@gmail.com> Gerrit-Reviewer: Aude <aude.w...@gmail.com> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits