Merge branch 'develop' of git+ssh://git@github.com/Dolibarr/dolibarr.git into develop

htdocs/core/class/html.formother.class.php

htdocs/core/class/infobox.class.php

htdocs/holiday/define_holiday.php

htdocs/holiday/fiche.php

htdocs/holiday/index.php

htdocs/holiday/month_report.php

htdocs/holiday/view_log.php

htdocs/index.php

htdocs/langs/en_US/holiday.lang

test/phpunit/jenkins_phpunittest.xml

test/phpunit/phpunittest.xml