travis: Add php linting