From 6ea2fbf2dd394cc8649260b478ec55a51003a0e5 Mon Sep 17 00:00:00 2001
From: mhoellein <mhoellein@freenet.de>
Date: Thu, 23 Dec 2021 21:37:17 +0100
Subject: [PATCH] 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
---
 .etckeeper                        | 1 +
 php/7.2/apache2/conf.d/20-gmp.ini | 1 +
 php/7.2/cli/conf.d/20-gmp.ini     | 1 +
 php/7.2/fpm/conf.d/20-gmp.ini     | 1 +
 php/7.2/mods-available/gmp.ini    | 3 +++
 5 files changed, 7 insertions(+)
 create mode 120000 php/7.2/apache2/conf.d/20-gmp.ini
 create mode 120000 php/7.2/cli/conf.d/20-gmp.ini
 create mode 120000 php/7.2/fpm/conf.d/20-gmp.ini
 create mode 100644 php/7.2/mods-available/gmp.ini

diff --git a/.etckeeper b/.etckeeper
index d9293ec8..1e08f1e6 100755
--- 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
index 00000000..eb78ca09
--- /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
index 00000000..eb78ca09
--- /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
index 00000000..eb78ca09
--- /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
index 00000000..f9ede58c
--- /dev/null
+++ b/php/7.2/mods-available/gmp.ini
@@ -0,0 +1,3 @@
+; configuration for php gmp module
+; priority=20
+extension=gmp.so
-- 
2.43.0