Hello,

our PHP packages for Debian/Ubuntu have just been updated to version 5.6.33, 7.0.27, 7.1.13 and 7.2.1

Best regards

-Klaus Keppler