@d044c747 Good chance that would have limped it over the line without having to first downgrade PHP.

Oh well, fixed now.