[MediaWiki-commits] [Gerrit] build: Updating mediawiki/mediawiki-codesniffer to 0.7.2 - change (mediawiki...WikidataPageBanner)
jenkins-bot has submitted this change and it was merged. Change subject: build: Updating mediawiki/mediawiki-codesniffer to 0.7.2 .. build: Updating mediawiki/mediawiki-codesniffer to 0.7.2 Change-Id: I86a3e1410e3fa921b05919e404b7a9585db41cdc --- M composer.json 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/composer.json b/composer.json index ecfbbb0..d43d47d 100644 --- a/composer.json +++ b/composer.json @@ -9,7 +9,7 @@ "license": "GPL-2.0", "require-dev": { "jakub-onderka/php-parallel-lint": "0.9.2", - "mediawiki/mediawiki-codesniffer": "0.7.1" + "mediawiki/mediawiki-codesniffer": "0.7.2" }, "scripts": { "test": [ -- To view, visit https://gerrit.wikimedia.org/r/291476 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I86a3e1410e3fa921b05919e404b7a9585db41cdc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikidataPageBanner Gerrit-Branch: master Gerrit-Owner: LegoktmGerrit-Reviewer: Jforrester Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] build: Updating mediawiki/mediawiki-codesniffer to 0.7.2 - change (mediawiki...WikidataPageBanner)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/291476 Change subject: build: Updating mediawiki/mediawiki-codesniffer to 0.7.2 .. build: Updating mediawiki/mediawiki-codesniffer to 0.7.2 Change-Id: I86a3e1410e3fa921b05919e404b7a9585db41cdc --- M composer.json 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/WikidataPageBanner refs/changes/76/291476/1 diff --git a/composer.json b/composer.json index ecfbbb0..d43d47d 100644 --- a/composer.json +++ b/composer.json @@ -9,7 +9,7 @@ "license": "GPL-2.0", "require-dev": { "jakub-onderka/php-parallel-lint": "0.9.2", - "mediawiki/mediawiki-codesniffer": "0.7.1" + "mediawiki/mediawiki-codesniffer": "0.7.2" }, "scripts": { "test": [ -- To view, visit https://gerrit.wikimedia.org/r/291476 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I86a3e1410e3fa921b05919e404b7a9585db41cdc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikidataPageBanner Gerrit-Branch: master Gerrit-Owner: Legoktm___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits