Perhaps try this:
The person there was using PHP 7.3 as well so it may be something specific to that. We ship PHP 7.2 currently and so that’s what we’d recommend.