jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333027 )
Change subject: composer: Replace with a phplint test ...................................................................... composer: Replace with a phplint test Change-Id: I815e81d83e71199345ee48268e4adafa70978abe --- M .gitignore M composer.json 2 files changed, 10 insertions(+), 14 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/.gitignore b/.gitignore index 4bf4869..9305fed 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,5 @@ *.kate-swp .*.swp node_modules/ +vendor/ +composer.lock/ diff --git a/composer.json b/composer.json index 83c8461..1c63f9e 100644 --- a/composer.json +++ b/composer.json @@ -1,16 +1,10 @@ { - "name": "mediawiki/education-program", - "type": "mediawiki-extension", - "description": "Facilitates educational programs by adding various interfaces to manage courses, students, institutions, mentors", - "homepage": "https://www.mediawiki.org/wiki/Extension:EducationProgram", - "license" : "GPL-2.0+", - - "require": { - "composer/installers" : "*", - "mediawiki/cldr" : "dev-master" - }, - - "suggest": { - "mediawiki/wiki-editor" : "dev-master" - } + "require-dev": { + "jakub-onderka/php-parallel-lint": "0.9.2" + }, + "scripts": { + "test": [ + "parallel-lint . --exclude vendor" + ] + } } -- To view, visit https://gerrit.wikimedia.org/r/333027 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I815e81d83e71199345ee48268e4adafa70978abe Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/EducationProgram Gerrit-Branch: master Gerrit-Owner: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: AndyRussG <andrew.green...@gmail.com> Gerrit-Reviewer: Bartosz DziewoĆski <matma....@gmail.com> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits