modification de la version de docker

1 job for !534 with 758-version-de-phpmyadmin-avec-docker in 14 minutes and 35 seconds (queued for 2 seconds)
latest merge request