approved this merge request
Le fait d'avoir un changement dans la conf php.ini n'est pas quelquechose sur lequel nous avons la main. Mais sinon ok. Ca a l'air un peu indépendant de la correction qui implique plus du typage.
merged
mentioned in commit b18d9b66