Merge pull request #1382 from desaroger/php-72-pr

Add PHP 7.2 support and fix issues on 5.6-7.0-7.1 versions

workspace/Dockerfile-70

@@ -726,6 +726,12 @@ RUN if [ ${INSTALL_DUSK_DEPS} = true ]; then \
   && rm chromedriver_linux64.zip \
 ;fi
 
+#####################################
+# Check PHP version:
+#####################################
+
+RUN php -v | head -n 1 | grep -q "PHP 7.0."
+
 #
 #--------------------------------------------------------------------------
 # Final Touch