Hashar has submitted this change and it was merged. Change subject: additional PHP extensions jobs ......................................................................
additional PHP extensions jobs Bring in: - FastStringSearch - NativePreprocessor - wikidiff - wikidiff2 - wmerrors In addition to the existing luasandbox job. Change-Id: I6c02af8e3b0c0fb6fb267306963a026570d80972 --- M php-extensions.yaml 1 file changed, 72 insertions(+), 3 deletions(-) Approvals: Hashar: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/43189 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6c02af8e3b0c0fb6fb267306963a026570d80972 Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins-job-builder-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
