Krinkle has submitted this change and it was merged.

Change subject: Enable jshint/phplint jobs for mwext-Disambiguator
......................................................................


Enable jshint/phplint jobs for mwext-Disambiguator

Jobs created in Jenkins with I6046c650b4c0a.

Change-Id: I3fc6baba8c6d65b61815bc2b3269951b5c824742
---
M layout.yaml
1 file changed, 5 insertions(+), 0 deletions(-)

Approvals:
  Krinkle: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/layout.yaml b/layout.yaml
index 1fead7a..808c979 100644
--- a/layout.yaml
+++ b/layout.yaml
@@ -1150,6 +1150,11 @@
       - name: extension-checks
         extname: DisableAccount
 
+  - name: mediawiki/extensions/Disambiguator
+    template:
+      - name: extension-checks
+        extname: Disambiguator
+
   - name: mediawiki/extensions/DiscussionThreading
     template:
       - name: extension-checks

-- 
To view, visit https://gerrit.wikimedia.org/r/73154
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3fc6baba8c6d65b61815bc2b3269951b5c824742
Gerrit-PatchSet: 1
Gerrit-Project: integration/zuul-config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to