Keep just the needed extension recommend by jenkins-php.org