From a29b5a62bbf738ef08590b93c1ce65169063668e Mon Sep 17 00:00:00 2001
From: Josef Citrine <josefcitrine@googlemail.com>
Date: Sun, 12 Jun 2016 01:12:11 +0100
Subject: [PATCH] #25: Installed GMP, needed for PHP web-push

---
 vagrant/install.sh        | 3 +++
 vagrant/php-overrides.ini | 1 +
 2 files changed, 4 insertions(+)

diff --git a/vagrant/install.sh b/vagrant/install.sh
index 14b55c27..a3a9b513 100755
--- a/vagrant/install.sh
+++ b/vagrant/install.sh
@@ -24,6 +24,9 @@ sudo apt-get -qq update
 echo "Installing tagging tools & other dependencies..."
 sudo apt-get -qq install -y AtomicParsley flac vorbis-tools imagemagick oracle-java8-installer elasticsearch pkg-config yasm libfaac-dev libmp3lame-dev libvorbis-dev libtheora-dev
 
+echo "Installing PHP extensions"
+sudo apt-get -qq install -y libgmp-dev php-gmp
+
 
 if type ffmpeg &>/dev/null; then
     echo "ffmpeg is installed!"
diff --git a/vagrant/php-overrides.ini b/vagrant/php-overrides.ini
index b2c1457d..2f5b8293 100644
--- a/vagrant/php-overrides.ini
+++ b/vagrant/php-overrides.ini
@@ -3,3 +3,4 @@
 expose_php = Off
 post_max_size = 250M
 upload_max_filesize = 200M
+extension=php_gmp.dll
\ No newline at end of file