add php ext "taint" (#2150)

* add php ext "taint", only support php7.
2019-05-29 08:56:40 +08:00
parent dba1594b05
commit bc8772441b
5 changed files with 50 additions and 0 deletions
--- a/php-worker/Dockerfile
+++ b/php-worker/Dockerfile
@ -135,6 +135,19 @@ RUN if [ ${INSTALL_SWOOLE} = true ]; then \
    && docker-php-ext-enable swoole \
 ;fi

+###########################################################################
+# Taint EXTENSION
+###########################################################################
+
+ARG INSTALL_TAINT=false
+
+RUN if [ ${INSTALL_TAINT} = true ]; then \
+    # Install Php TAINT Extension
+    if [ $(php -r "echo PHP_MAJOR_VERSION;") = "7" ]; then \
+      pecl install taint; \
+    fi && \
+    docker-php-ext-enable taint \
+;fi

 #
 #--------------------------------------------------------------------------