More PHP linting… Fun...