From 2fab33d4e4887d17a44b431f22cd20fa564dbbcc Mon Sep 17 00:00:00 2001
From: Vladimir Kirejko <kirejko@gmail.com>
Date: Fri, 9 Dec 2016 21:13:04 +0200
Subject: [PATCH] Fix load of mongodb library

```
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php/20151012/mongodb.so' - /usr/lib/php/20151012/mongodb.so: undefined symbol: php_json_serializable_ce in Unknown on line 0
```
---
 workspace/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index bf97a8fa..a301d08c 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -125,7 +125,7 @@ ENV INSTALL_MONGO ${INSTALL_MONGO}
 RUN if [ ${INSTALL_MONGO} = true ]; then \
     # Install the mongodb extension
     pecl install mongodb && \
-    echo "extension=mongodb.so" >> /etc/php/7.0/cli/php.ini \
+    echo "extension=mongodb.so" >> /etc/php/7.0/cli/conf.d/30-mongodb.ini \
 ;fi
 
 #####################################