Remove one PHP linter.
Update some linter settings.