PHP lint