Merge branch...

Merge branch '5781-il-nous-faut-jessie-et-stretch-pour-le-lint-php-dans-la-ci-de-fusiondirectory' into '1.3-dev'

Resolve "Il nous faut jessie et stretch pour le lint php dans la ci  de fusiondirectory"

Closes #5781

See merge request fusiondirectory/fd!150