diff --git a/Dockerfile b/Dockerfile index 8ffb52c..1dc8d32 100644 --- a/Dockerfile +++ b/Dockerfile @@ -12,6 +12,8 @@ RUN chmod +x add_extension.sh RUN ./add_extension.sh Scribunto $MEDIAWIKI_BRANCH && \ ./add_extension.sh VisualEditor $MEDIAWIKI_BRANCH +ADD https://raw.githubusercontent.com/vishnubob/wait-for-it/master/wait-for-it.sh /wait-for-it ADD setup.sh /setup.sh -RUN chmod +x /setup.sh +ADD get-variable /get-variable +RUN chmod +x setup.sh && chmod +x wait-for-it && chmod +x get-variable CMD ["/setup.sh"] diff --git a/get-variable b/get-variable new file mode 100644 index 0000000..c426aa0 --- /dev/null +++ b/get-variable @@ -0,0 +1,10 @@ +#!/usr/bin/env php +