travis: PHP lint