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

diff --git a/.etckeeper b/.etckeeper
index 61b68ed1ea8062d0bd2e7adb3abb6e15435f08c2..55cd294a920ccd56536280ccf30919163c862b5b 100755 (executable)
--- 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 (symlink)
index 0000000..b502f76
--- /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 (symlink)
index 0000000..b502f76
--- /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 (file)
index 0000000..f9ede58
--- /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 (symlink)
index 0000000..b502f76
--- /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