Coming soon’ish.

I acutely needed to upgrade to PHP 7.2 and don’t have much time for doodling.