我无法使用 php 连接到 redis。 我用docker搭建了一个环境，尝试用php和redis容器从php连接redis，但是失败了。我收到以下错误。

PHP Warning:  PHP Startup: Unable to load dynamic library 'redis.so' (tried: /usr/lib/php/20190902/redis.so (/usr/lib/php/20190902/redis.so: undefined symbol: php_json_decode_ex), /usr/lib/php/20190902/redis.so.so (/usr/lib/php/20190902/redis.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
PHP Notice:  session_start(): Redis not available while creating session_id in /var/www/html/index.php on line 2
PHP Warning:  session_start(): Failed to read session data: redis (path: tcp://localhost:6379) in /var/www/html/index.php on line 2
string(0) ""
save_handler=redis
save_path=tcp://localhost:6379
session_id=

这是为响应错误而执行的 php 文件。

<?php
session_start();

ini_set('session.cookie-domain', 'localhost');

var_dump(session_id());
echo "save_handler=" . ini_get("session.save_handler") . "\n";
echo "save_path=" . ini_get("session.save_path") . "\n";
echo "session_id=" . session_id() . "\n";

$_SESSION['libname'] = "PhpRedis";
?>

php.ini 文件的一部分。

[Session]
; Handler used to store/retrieve data.
; http://php.net/session.save-handler
session.save_handler = redis
session.save_path = "tcp://localhost:6379"

;verifying redis extension module
extension = redis.so

; default redis timeout
redis.timeout = 5

如果我缺少解决此问题所需的任何信息，请告诉我。预先感谢您。

附： 我输入 ping，它返回 pong。 我可以使用 redis-cli 从 php 容器连接到 redis。另外，这里是redis.so的路径。 ~/usr/lib/php/20190902/redis.so php.ini 的路径（使用的服务器是 apache2）。 ~/etc/php/7.4/apache2/php.ini