Ahead of T224591: Migrate contint* hosts to Buster as that's going to take a while?
contint1001.wikimedia.org is running Jessie and we haven't backported PHP 7.2 to it. php is probably only used for the small website https://integration.wikimedia.org/
So I guess blocked on the Stretch migration T224591.
Yes, the burden of maintaing a backport just for contint is not justifiable IMHO. I'm declining the ticket, but if this is blocking something important, please reopen it and say so.
OK, will switch out with T224591.