phpredisインストール時に、PHPの設定でひさしぶりにハマったのでメモ

PHP Warning:  PHP Startup: Unable to load dynamic library '/usr/local/src/phpredis/modules/redis.so' (tried: /usr/local/src/phpredis/modules/redis.so (/usr/local/src/phpredis/modules/redis.so: undefined symbol: php_json_decode_ex), /usr/lib64/php/modules//usr/local/src/phpredis/modules/redis.so.so (/usr/lib64/php/modules//usr/local/src/phpredis/modules/redis.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0

こんなエラーを見かけたら、ポイントは php_json_decode_ex

これは、jsonをパースするモジュールより前にロードしようとして失敗しているということ。

/etc/php.d の中に、適当なファイル（アルファベット順でjson.iniより後に読み込まれるようなファイル名）を作って extension=redis.so と書けば解決。

参考：https://github.com/phpredis/phpredis/issues/1589#issuecomment-508646809