<?php

$lang['jenkins.url']    = 'Entrez l\'url de votre serveur Jenkins, sans slash à la fin.';
$lang['jenkins.user']   = 'Entrez l\'ID d\'un utilisateur Jenkins, avec les droits pour pouvoir afficher n\'importe quel job.';
$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".';