This update for php7 fixes the following issues:
{ "binaries": [ { "php7-wddx": "7.2.5-150000.4.98.2" } ] }