1<?php 2 3$lang['jenkins.url'] = 'Entrez l\'url de votre serveur Jenkins, sans slash à la fin.'; 4$lang['jenkins.user'] = 'Entrez l\'ID d\'un utilisateur Jenkins, avec les droits pour pouvoir afficher n\'importe quel job.'; 5$lang['jenkins.token'] = 'Ajoutez le token correspondant à l\'utilisateur. Vous pouvez le trouver en allant sur "http://JENKINS_URL/user/USER/configure", cliquez ensuite sur "Show API Token".'; 6 7