docker下的ubuntu容器安装phpredis扩展

 我在Ubuntu系统上为PHP安装redis扩展，安装网上步骤安装完，发现phpinfo上有redis扩展，但是用php -m这个命令查却没有 请问有人碰到这个坑吗

https://www.cnblogs.com/guaiyouyisi/p/8074439.html这个网站上的步骤来安装的，。