Hello,
the PHP packages for Debian/Ubuntu were updated to version 5.6.36, 7.0.30, 7.1.17 and 7.2.5.
Additionally, the first PHP packages for Ubuntu 18.04 LTS are also available now. Within the next 2-3 weeks, these will be extended.
Best regards
-Klaus Keppler