From c4100b5052995c6f045ad590ccbf1038ac86d465 Mon Sep 17 00:00:00 2001
From: Amin Mkh <AminMkh@users.noreply.github.com>
Date: Sat, 11 Jun 2016 14:38:26 +0300
Subject: [PATCH] added php-mongodb extension

---
 workspace/Dockerfile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index 65534aba..6fef4a30 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -34,6 +34,12 @@ RUN apt-get update && apt-get install -y --force-yes \
         php7.0-sqlite3 \
         php7.0-zip \
         php7.0-memcached \
+        php-dev \
+        libcurl4-openssl-dev \
+        libedit-dev \
+        libssl-dev \
+        libxml2-dev \
+        xz-utils \
         sqlite3 \
         libsqlite3-dev \
         git \
@@ -63,6 +69,10 @@ RUN curl -s http://getcomposer.org/installer | php \
     && mv composer.phar /usr/local/bin/ \
     && echo "alias composer='/usr/local/bin/composer.phar'" >> ~/.bashrc
 
+# Install mongodb extension
+RUN pecl install mongodb
+RUN echo "extension=mongodb.so" >> /etc/php/7.0/cli/php.ini
+
 # Source the bash
 RUN . ~/.bashrc