More PHP Linting