レンタルサーバーの管理画面でphpのバージョンは随時更新していたものの、php.iniの設定を見落としていました。かなりレガシーな設定が残っていた様子。

phpのバージョンによって見直すタイミングがあったと思いますが、フルマネージドな環境でGUIに任せているとちょっとした落とし穴もありそうです。まぁ自分の不注意ではあるのですが。