After several days of downtime following another forced PHP upgrade, I have fixed and we are back, all new and 7.2 compatible. Didn't even notice it was gone, did ya?