From 84a14307cb51c6f037c37ac6e228e5b04e25057e Mon Sep 17 00:00:00 2001 From: Arnie Date: Wed, 20 Nov 2019 13:50:33 +0100 Subject: [PATCH] Update adminer --- adminer/Dockerfile | 6 ++++++ adminer/Makefile | 2 +- adminer/run | 2 +- 3 files changed, 8 insertions(+), 2 deletions(-) diff --git a/adminer/Dockerfile b/adminer/Dockerfile index bc0819c..e4c1d7e 100644 --- a/adminer/Dockerfile +++ b/adminer/Dockerfile @@ -6,6 +6,12 @@ USER root RUN rm /usr/local/etc/php/conf.d/0-upload_large_dumps.ini +RUN apk add --no-cache \ + $PHPIZE_DEPS \ + && pecl install mongodb \ + && pecl clear-cache \ + && docker-php-ext-enable mongodb + COPY ["conf.d/", "/usr/local/etc/php/conf.d"] USER adminer diff --git a/adminer/Makefile b/adminer/Makefile index 12eff7e..6faf40b 100644 --- a/adminer/Makefile +++ b/adminer/Makefile @@ -5,7 +5,7 @@ APP_NAME := adminer IMAGE_NAME := adminer -VERSION := 4.7.1 +VERSION := 4.7.5 all: build release .PHONY: all diff --git a/adminer/run b/adminer/run index 4ff19ca..c7763e6 100755 --- a/adminer/run +++ b/adminer/run @@ -3,7 +3,7 @@ SCRIPT_PATH=$( cd "$(dirname "$0")" ; pwd -P ) IMAGE_NAME="yoursystemcz/adminer" -IMAGE_VERSION="4.7.1" +IMAGE_VERSION="4.7.3" SERVICE_NAME=adminer