Hello,

our PHP packages for Debian/Ubuntu have been updated to version 7.0.25 and 7.1.11

Best regards

-Klaus Keppler