committing changes in /etc after apt run

Package changes:
+php-gmp 1:7.2+60ubuntu1 all
+php7.2-gmp 7.2.24-0ubuntu0.18.04.10 amd64

diff --git a/.etckeeper b/.etckeeper
index d9293ec8c42990e121ff2766c3112a59a6edaa15..1e08f1e6216556da49056ece7d4ce907701176c1 100755 (executable)
--- a/.etckeeper
+++ b/.etckeeper
@@ -11145,6 +11145,7 @@ maybe chmod 0644 'php/7.2/mods-available/fileinfo.ini'
 maybe chmod 0644 'php/7.2/mods-available/ftp.ini'
 maybe chmod 0644 'php/7.2/mods-available/gd.ini'
 maybe chmod 0644 'php/7.2/mods-available/gettext.ini'
+maybe chmod 0644 'php/7.2/mods-available/gmp.ini'
 maybe chmod 0644 'php/7.2/mods-available/iconv.ini'
 maybe chmod 0644 'php/7.2/mods-available/igbinary.ini'
 maybe chmod 0644 'php/7.2/mods-available/imagick.ini'

diff --git a/php/7.2/apache2/conf.d/20-gmp.ini b/php/7.2/apache2/conf.d/20-gmp.ini
new file mode 120000 (symlink)
index 0000000..eb78ca0
--- /dev/null
+++ b/php/7.2/apache2/conf.d/20-gmp.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/gmp.ini
\ No newline at end of file

diff --git a/php/7.2/cli/conf.d/20-gmp.ini b/php/7.2/cli/conf.d/20-gmp.ini
new file mode 120000 (symlink)
index 0000000..eb78ca0
--- /dev/null
+++ b/php/7.2/cli/conf.d/20-gmp.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/gmp.ini
\ No newline at end of file

diff --git a/php/7.2/fpm/conf.d/20-gmp.ini b/php/7.2/fpm/conf.d/20-gmp.ini
new file mode 120000 (symlink)
index 0000000..eb78ca0
--- /dev/null
+++ b/php/7.2/fpm/conf.d/20-gmp.ini
@@ -0,0 +1 @@
+/etc/php/7.2/mods-available/gmp.ini
\ No newline at end of file

diff --git a/php/7.2/mods-available/gmp.ini b/php/7.2/mods-available/gmp.ini
new file mode 100644 (file)
index 0000000..f9ede58
--- /dev/null
+++ b/php/7.2/mods-available/gmp.ini
@@ -0,0 +1,3 @@
+; configuration for php gmp module
+; priority=20
+extension=gmp.so