Bug ID: 63041
           Summary: phplint should detects PHP files not having the .php
           Product: Wikimedia
           Version: wmf-deployment
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: Unprioritized
         Component: Continuous integration
       Web browser: ---
   Mobile Platform: ---

I have sent a PHP fatal error in the scap repository (fix: )

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

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

Reply via email to