Adamw has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/110914

Change subject: Additional suffixes for PHP code
......................................................................

Additional suffixes for PHP code

Drupal likes to hide PHP behind esoteric filename extensions.  Ferret these
out so they can be checked for lint.

We could also implement a new builder to handle Drupal repos exclusively, but
these extensions are probably safe for any project.

Change-Id: Ifed2155ae7fb711c0de229f64cdffa236b1b9e43
---
M macro.yaml
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/integration/jenkins-job-builder-config 
refs/changes/14/110914/1

diff --git a/macro.yaml b/macro.yaml
index c83ac3d..2e967a3 100644
--- a/macro.yaml
+++ b/macro.yaml
@@ -417,7 +417,7 @@
     name: phplint
     builders:
      - shell: |
-        /srv/deployment/integration/slave-scripts/bin/git-changed-in-head php 
php5 inc phtml \
+        /srv/deployment/integration/slave-scripts/bin/git-changed-in-head php 
php5 inc phtml module install \
         | xargs -n1 -t php -l
 
 # run phpcs on any .php and .inc files in the workspace

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ifed2155ae7fb711c0de229f64cdffa236b1b9e43
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Adamw <[email protected]>

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

Reply via email to