Update install-php-extension.sh