jenkins-php lint