Hello,

our PHP packages for Debian and Ubuntu have just been updated to version 7.1.14 and 7.2.2.

Best regards

-Klaus Keppler