Я использую встроенный сервер php, такой как php -S localhost: 3000 -c php.ini, который я определил путь расширения и загрузил redis.so, но когда я получаю phpinfo, redis не загружается!