https://bugzilla.wikimedia.org/show_bug.cgi?id=63041

            Bug ID: 63041
           Summary: phplint should detects PHP files not having the .php
                    suffix
           Product: Wikimedia
           Version: wmf-deployment
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: Unprioritized
         Component: Continuous integration
          Assignee: wikibugs-l@lists.wikimedia.org
          Reporter: has...@free.fr
                CC: ebernhard...@wikimedia.org, g...@wikimedia.org,
                    has...@free.fr, innocentkil...@gmail.com,
                    krinklem...@gmail.com
       Web browser: ---
   Mobile Platform: ---

I have sent a PHP fatal error in the scap repository (fix:
https://gerrit.wikimedia.org/r/#/c/120692 )

EBernhardson wrote:

other repositories run the php linter, could this one too?  Since not
everything has the .php extension it would probably have to use the magic
number(ala /usr/bin/file) to decide or some such.



I guess find / file / xargs php -l would do the job indeed. If you can come up
with the shell commands to have it happen I will be more than happy.

We currently use the phplint macro which is:

      bin/git-changed-in-head php php5 inc phtml module install  | xargs -n1 -t
php -l

http://git.wikimedia.org/blob/integration%2Fjenkins-job-builder-config.git/f630f86f77b4afe1384b4d8bf3d5f0e02cae49ac/macro.yaml#L453


git-changed-in-head comes from integration/jenkins.git which is intended to
provides files having changed in HEAD (obviously :D).

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to