Hashar has submitted this change and it was merged. Change subject: triggers for our PHP extensions ......................................................................
triggers for our PHP extensions Bring in: - FastStringSearch - NativePreprocessor - wikidiff - wikidiff2 - wmerrors Jenkins Job Builder is: https://gerrit.wikimedia.org/r/43189 Change-Id: Id920be74025e08467d0b0dd11a3f04388bb6c511 --- M layout.yaml 1 file changed, 36 insertions(+), 1 deletion(-) Approvals: Hashar: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/43190 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id920be74025e08467d0b0dd11a3f04388bb6c511 Gerrit-PatchSet: 1 Gerrit-Project: integration/zuul-config Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
