How to install php-redis extension using the official PHP Docker image approach? 2024-07-05 PHP pecl install redis docker-php-ext-enable redis