From: mhoellein <mhoellein@freenet.de>
Date: Thu, 23 Dec 2021 20:37:17 +0000 (+0100)
Subject: committing changes in /etc after apt run
X-Git-Url: https://git.hoellein.online/?a=commitdiff_plain;h=6ea2fbf2dd394cc8649260b478ec55a51003a0e5;p=homeserver

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 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