diff --git a/Dockerfile b/Dockerfile index 06ad62a31b3a60cb4f38278dd02915e8fcda139b..fdd316aeea813b395a66127ee4092a42ab82dc99 100644 --- a/Dockerfile +++ b/Dockerfile @@ -21,9 +21,6 @@ RUN apt-get update -qq && \ sqlite3 \ php${PHP_VERSION}-pdo-sqlite -RUN pecl install ast && \ - echo "extension=ast.so" > ${PHP_CONF_DIR}/cli/conf.d/ast.ini - # Nettoyage RUN apt-get autoremove -y && apt-get clean && rm -rf /tmp/* /var/tmp/*