From e4a11706ae7c14006c17515646efdcff79d68063 Mon Sep 17 00:00:00 2001 From: mhoellein Date: Thu, 23 Dec 2021 15:08:25 +0100 Subject: [PATCH] committing changes in /etc made by "apt-get install php-gmp" Package changes: +php-gmp 2:7.4+75 all +php7.4-gmp 7.4.3-4ubuntu2.8 amd64 --- .etckeeper | 1 + php/7.4/apache2/conf.d/20-gmp.ini | 1 + php/7.4/cli/conf.d/20-gmp.ini | 1 + php/7.4/mods-available/gmp.ini | 3 +++ php/7.4/phpdbg/conf.d/20-gmp.ini | 1 + 5 files changed, 7 insertions(+) create mode 120000 php/7.4/apache2/conf.d/20-gmp.ini create mode 120000 php/7.4/cli/conf.d/20-gmp.ini create mode 100644 php/7.4/mods-available/gmp.ini create mode 120000 php/7.4/phpdbg/conf.d/20-gmp.ini diff --git a/.etckeeper b/.etckeeper index 61b68ed1e..55cd294a9 100755 --- a/.etckeeper +++ b/.etckeeper @@ -8883,6 +8883,7 @@ maybe chmod 0644 'php/7.4/mods-available/fileinfo.ini' maybe chmod 0644 'php/7.4/mods-available/ftp.ini' maybe chmod 0644 'php/7.4/mods-available/gd.ini' maybe chmod 0644 'php/7.4/mods-available/gettext.ini' +maybe chmod 0644 'php/7.4/mods-available/gmp.ini' maybe chmod 0644 'php/7.4/mods-available/iconv.ini' maybe chmod 0644 'php/7.4/mods-available/igbinary.ini' maybe chmod 0644 'php/7.4/mods-available/imagick.ini' diff --git a/php/7.4/apache2/conf.d/20-gmp.ini b/php/7.4/apache2/conf.d/20-gmp.ini new file mode 120000 index 000000000..b502f7619 --- /dev/null +++ b/php/7.4/apache2/conf.d/20-gmp.ini @@ -0,0 +1 @@ +/etc/php/7.4/mods-available/gmp.ini \ No newline at end of file diff --git a/php/7.4/cli/conf.d/20-gmp.ini b/php/7.4/cli/conf.d/20-gmp.ini new file mode 120000 index 000000000..b502f7619 --- /dev/null +++ b/php/7.4/cli/conf.d/20-gmp.ini @@ -0,0 +1 @@ +/etc/php/7.4/mods-available/gmp.ini \ No newline at end of file diff --git a/php/7.4/mods-available/gmp.ini b/php/7.4/mods-available/gmp.ini new file mode 100644 index 000000000..f9ede58cf --- /dev/null +++ b/php/7.4/mods-available/gmp.ini @@ -0,0 +1,3 @@ +; configuration for php gmp module +; priority=20 +extension=gmp.so diff --git a/php/7.4/phpdbg/conf.d/20-gmp.ini b/php/7.4/phpdbg/conf.d/20-gmp.ini new file mode 120000 index 000000000..b502f7619 --- /dev/null +++ b/php/7.4/phpdbg/conf.d/20-gmp.ini @@ -0,0 +1 @@ +/etc/php/7.4/mods-available/gmp.ini \ No newline at end of file -- 2.43.0