PHPのアップデートするとPHPredisが使えなくなってしまいます。
※session.save_pathにredis(127.0.0.1:6379)を指定しています。
Redis-cli Monitor見てると、
PHPREDIS_SESSION:****が一切出てきません。
redisでsetやgetなどの動作は問題ありません。

MariaDBやRedisをストップしてからPHPをアップデート。
Redisでflushdbしてもダメ。サーバーを再起動してもダメ。
redisを再インストール、phpredisを再インストールなど、
ごちょごちょしていると復活します。
とは言えコレをすると復活する方法がありません。

PHPredisとの連携をうまく保つには、
どのようにPHPをアップデートすれば良いのでしょうか？