I reverted to PHP 7.3 and all then worked.
I’ve now upgraded to Grav v1.7.5 - Admin v1.10 which is also fine.