Comment 1 for bug 1905109

To clarify, you're saying it works properly for you with php7.4 but not with php7.2? If that's true then there might be a patch to pull from upstream, although the bug you link isn't pointing to one, just a doc fix.

Also, what version of Ubuntu are you running? We only have php7.2 on bionic (18.04), would I guess correctly that's what you're on?