framadate: fix PHP version in the CI image (to 7.2)
The latest update of the framadate-ci
docker image has also bumped
the PHP version (because we were targeting the latest
version of the
php
base image).
This PR makes sure to fix to a version we know is compatible with Framadate.