From 0de370b27060071b90304b747cdc8d644e35db71 Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Tue, 19 Nov 2019 21:54:59 +0100
Subject: [PATCH] Switch to debian package for GMP

---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 59fb734..7b73010 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -13,6 +13,6 @@ FROM nextcloud:17
 # CMD cron && apache2-foreground
 
 # Mandatory for bookmark extension
-RUN docker-php-ext-configure gmp; \
-      docker-php-ext-install gmp
+RUN apt-get update \
+ && apt-get install -y php7.3-gmp