PHP lint report: don't ignore setup files