Installe les packages CLI en une seule fois.

map-exts.php

@@ -2,20 +2,21 @@
 <?php
 error_reporting(-1);
 
-$versions = [];
-exec("apt-cache search php-cli | awk '/^php[0-9]\.[0-9]-/{print $1}'", $versions, $error);
+$cli_packages = [];
+exec("apt-cache search php-cli | awk '/^php[0-9]\.[0-9]-/{print $1}'", $cli_packages, $error);
 if ($error) {
     die("code: $error");
 }
+exec("apt-get install -yqq " . implode(" ", $cli_packages));
+
 $versions = array_map(function($v)  {
     return substr($v, 3, 3);
-}, $versions);
+}, $cli_packages);
 
 echo "php_packages:";
 
 foreach($versions as $version) {
     fputs(STDERR, "\nProcessing PHP ${version}\n");
-    exec("apt-get install -yq php${version}-cli");
 
     exec("apt-cache search ^php${version}- | awk '/^php${version}-/&&!/-dbg/{print$1}'", $packages, $error);
     if ($error) {