Ajout de CI pour générer les données.

.dockerignore

-.git
+.?*

.gitlab-ci.yml

+variables:
+    PHP_VERSIONS: "7.1 7.3 7.4 8.0"
+
+.job:
+    image: ${DISTRO}:${CODENAME}
+    tags: [docker]
+    retry: 2
+    interruptible: true
+    variables:
+        DISTRO: ${CI_JOB_NAME}
+    script:
+        - apt-get update -yqq
+        - apt-get install -yq php8.0-cli
+        - mkdir public
+        - php ./map-exts.php ${PHP_VERSIONS} > public/${DISTRO}-${CODENAME}.yml
+    artifacts:
+        name: php_packages-${DISTRO}-${CODENAME}
+        paths:
+            - public/
+
+debian:
+    extends: .job
+    parallel:
+        matrix:
+            - CODENAME: [jessie, stretch, buster]
+    before_script:
+        - |
+            set -eux
+            . /etc/os-release
+            apt-get install -yq apt-transport-https ca-certificates curl
+            curl -sSL -o /etc/apt/trusted.gpg.d/php.gpg https://packages.sury.org/php/apt.gpg
+            echo "deb https://packages.sury.org/php/ $VERSION_CODENAME main" > /etc/apt/sources.list.d/php.list
+
+ubuntu:
+    extends: .job
+    variables:
+        CODENAME: xenial
+    before_script:
+        - add-apt-repository ppa:ondrej/php

map-exts.php

@@ -5,7 +5,7 @@ error_reporting(-1);
 $argv = $_SERVER['argv'];
 array_shift($argv);
 
-system('. /etc/os-release && echo "$ID-$VERSION_CODENAME":');
+echo "php_packages:";
 
 foreach($argv as $version) {
     fputs(STDERR, "\nProcessing PHP ${version}\n");