From 799d9b24fc8b67c8c5ca32549d5a58416e8e7ac7 Mon Sep 17 00:00:00 2001
From: Roland Gruber <post@rolandgruber.de>
Date: Sat, 22 Feb 2020 21:06:56 +0100
Subject: [PATCH] 7.1

---
 lam-packaging/docker/Dockerfile | 1 +
 lam/lib/checkEnvironment.inc    | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/lam-packaging/docker/Dockerfile b/lam-packaging/docker/Dockerfile
index 7bf75834..5618663a 100644
--- a/lam-packaging/docker/Dockerfile
+++ b/lam-packaging/docker/Dockerfile
@@ -53,6 +53,7 @@ RUN apt-get update && \
         php-xml \
         php-zip \
         php-imap \
+        php-gmp \
         wget \
     && \
     rm /etc/apache2/sites-enabled/*default* && \
diff --git a/lam/lib/checkEnvironment.inc b/lam/lib/checkEnvironment.inc
index 3dfeaf5a..7f38ff8d 100644
--- a/lam/lib/checkEnvironment.inc
+++ b/lam/lib/checkEnvironment.inc
@@ -89,9 +89,13 @@ if (!extension_loaded('imagick') && !extension_loaded('gd')) {
 	$criticalErrors[] = array("ERROR", "Your PHP has no imagick or GD support.", "Please install the imagick or GD extension for PHP.");
 }
 // check if PHP has JSON support
-if (! function_exists('json_encode')) {
+if (!function_exists('json_encode')) {
 	$criticalErrors[] = array("ERROR", "Your PHP has no JSON support!", "Please install the JSON extension for PHP.");
 }
+// check if PHP has GMP support
+if (!extension_loaded('gmp')) {
+	$criticalErrors[] = array("ERROR", "Your PHP has no GMP support!", "Please install the GMP extension for PHP.");
+}
 // check file permissions
 $writableDirs = array('sess', 'tmp');
 for ($i = 0; $i < sizeof($writableDirs); $i++) {