by Jérôme DEMIAUX.
@Daniel
Le fichier config.php n'est jamais impacté par les différentes mises à jour.
Le fichier config-dist.php n'est qu'un fichier exemple dont il faut reprendre les éléments nous intéressant afin de les copier dans config.php
Jérôme