Fix phplint.