enable/disable the correct Mongo DB extensions for PHP 5 and 7

toolset/setup/linux/languages/php.sh

@@ -35,6 +35,10 @@ cd ..
 sed -i 's|^extension=yaf.so|;extension=yaf.so|g' $FWROOT/config/php.ini
 sed -i 's|^extension=phalcon.so|;extension=phalcon.so|g' $FWROOT/config/php.ini
 
+# Enable the correct Mongo DB plugin for PHP 5
+sed -i 's|^extension=mongodb.so|;extension=mongodb.so|g' $FWROOT/config/php.ini
+sed -i 's|;extension=mongo.so|extension=mongo.so|g' $FWROOT/config/php.ini
+
 cp $FWROOT/config/php.ini $PHP_HOME/lib/php.ini
 cp $FWROOT/config/php-fpm.conf $PHP_HOME/lib/php-fpm.conf
 

toolset/setup/linux/languages/php7.sh

@@ -25,6 +25,10 @@ echo "Installing PHP quietly"
 make --quiet install
 cd ..
 
+# Enable the correct Mongo DB plugin for PHP 7
+sed -i 's|^extension=mongo.so|;extension=mongo.so|g' $FWROOT/config/php.ini
+sed -i 's|;extension=mongodb.so|extension=mongodb.so|g' $FWROOT/config/php.ini
+
 cp $FWROOT/config/php.ini $PHP_HOME/lib/php.ini
 cp $FWROOT/config/php-fpm.conf $PHP_HOME/lib/php-fpm.conf