Hallo,
die PHP-Pakete für Debian/Ubuntu wurden eben auf die Versionen 5.6.36, 7.0.30, 7.1.17 und 7.2.5 aktualisiert.
Außerdem stehen die ersten PHP-Pakete für Ubuntu 18.04 LTS nun auch bereit, in den nächsten 2-3 Wochen werden diese noch erweitert.
Viele Grüße
-Klaus Keppler