Merge branch 'feature/docker_for_ui' into development

David Baum · David Baum · commit e90f3ca1cfd6 · 2019-01-11T23:38:42.000+01:00
diff --git a/ui/Dockerfile b/ui/Dockerfile
@@ -0,0 +1,5 @@
+FROM php:7.2-apache
+COPY . /var/www/html/
+RUN mv "$PHP_INI_DIR/php.ini-production" "$PHP_INI_DIR/php.ini"
+LABEL maintainer="david.baum@uni-leipzig.de" \
+      version="1.0"
