It turns out 10.0.7 of OwnCloud, which is out, is operational under PHP 7.2 but not considered stable, however that was better than 10.0.1 which did not work at all.  I’ve installed 10.0.7 and OwnCloud appears operational again.