This update for php7 fixes the following issues:
Security issue fixed:
{ "binaries": [ { "php7-embed": "7.2.5-4.58.2" } ] }