Add various PHP linters.