From b1d603fb916cb613f9a290989ae5b221d0ada594 Mon Sep 17 00:00:00 2001
From: Chris <bsod@zom.bi>
Date: Tue, 22 Oct 2019 19:51:59 +0200
Subject: [PATCH] add gmp library to php container as it is required for the
 bookmarks addon

---
 webservice/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/webservice/Dockerfile b/webservice/Dockerfile
index 67a5f4e..506cfae 100644
--- a/webservice/Dockerfile
+++ b/webservice/Dockerfile
@@ -22,6 +22,7 @@ RUN \
         libfreetype6-dev \
         libssl-dev \
         libjpeg-dev \
+        libgmp-dev \
         curl \
         cron && \
     apt-get clean && \
@@ -49,6 +50,7 @@ RUN \
         ctype \
         dom \
         gd \
+        gmp \
         iconv \
         json \
         mbstring \