phplint: fix compiler error

Closes issue #1058