diff --git a/Dockerfile b/Dockerfile index db44683..6331cb7 100644 --- a/Dockerfile +++ b/Dockerfile @@ -6,7 +6,8 @@ RUN apt-get update \ && apt-get install -y build-essential \ && cd /build \ && make \ - && sed 's/\(^ *\)\/\/\(.*DOCKER:ENABLE\)/\1\2/g' config.php > config-docker.php + && sed 's/\(^ *\)\/\/\(.*DOCKER:ENABLE\)/\1\2/g' config.php > config-docker.php \ + && sed 's/\(^ *\)\/\/\(.*DOCKER:ENABLE\)/\1\2/g' index.php > index-docker.php FROM php:7.4-apache WORKDIR /var/www/html @@ -18,3 +19,4 @@ RUN apt-get update \ COPY . /var/www/html COPY --from=builder /build/bin/preprocessor /var/www/html/bin/preprocessor COPY --from=builder /build/config-docker.php /var/www/html/config.php +COPY --from=builder /build/index-docker.php /var/www/html/index.php diff --git a/index.php b/index.php index 29bd334..320bb71 100644 --- a/index.php +++ b/index.php @@ -28,6 +28,9 @@ class Webgrind_MasterConfig if (ini_get('date.timezone') == '') date_default_timezone_set( Webgrind_Config::$defaultTimezone ); +// Show profiles for index.php files if running inside the Docker image +//Webgrind_Config::$hideWebgrindProfiles = false; /** DOCKER:ENABLE **/ + try { switch (get('op')) { case 'file_list':