Add PHP lint function