[MediaWiki-commits] [Gerrit] mediawiki/extensions[master]: Update Linter to master
Legoktm has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/326224 ) Change subject: Update Linter to master .. Update Linter to master Change-Id: I8c3e1c6b9c5ab2dc1cdeb5045028d886289b --- M Linter 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions refs/changes/24/326224/1 diff --git a/Linter b/Linter index ca7a3e8..7823130 16 --- a/Linter +++ b/Linter @@ -1 +1 @@ -Subproject commit ca7a3e85c12de147e810e7dc2fafa5a0b6fd0909 +Subproject commit 782313088d3b3517f30e410fa0015b08e89d6fa5 -- To view, visit https://gerrit.wikimedia.org/r/326224 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I8c3e1c6b9c5ab2dc1cdeb5045028d886289b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions Gerrit-Branch: master Gerrit-Owner: Legoktm___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki/extensions[master]: Update Linter to master
Legoktm has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326224 ) Change subject: Update Linter to master .. Update Linter to master Change-Id: I8c3e1c6b9c5ab2dc1cdeb5045028d886289b --- M Linter 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Legoktm: Verified; Looks good to me, approved diff --git a/Linter b/Linter index ca7a3e8..7823130 16 --- a/Linter +++ b/Linter @@ -1 +1 @@ -Subproject commit ca7a3e85c12de147e810e7dc2fafa5a0b6fd0909 +Subproject commit 782313088d3b3517f30e410fa0015b08e89d6fa5 -- To view, visit https://gerrit.wikimedia.org/r/326224 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8c3e1c6b9c5ab2dc1cdeb5045028d886289b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions Gerrit-Branch: master Gerrit-Owner: LegoktmGerrit-Reviewer: Legoktm ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits