Author: Mark Randall Committer: Derick Rethans (derickr) Date: 2026-06-18T13:15:38+01:00
Commit: https://github.com/php/web-php/commit/aadf1a227264ee904f953afeeae752ac550d9afc Raw diff: https://github.com/php/web-php/commit/aadf1a227264ee904f953afeeae752ac550d9afc.diff Remove my docker files. Changed paths: D .docker/dev/Dockerfile D .docker/prod/Dockerfile Diff: diff --git a/.docker/dev/Dockerfile b/.docker/dev/Dockerfile deleted file mode 100644 index 1638f8625e..0000000000 --- a/.docker/dev/Dockerfile +++ /dev/null @@ -1,46 +0,0 @@ -# Development Docker -# -# Provides the main runtime engine as well as tooling for running -# during development -# -# NOTES: -# - Does not copy and files in as it is expected to be handled via a mount - -FROM php:8.4-cli - -# Codebase doesn't have production flag so we negate it instead with -# the DEVELOPMENT flag -ENV DEVELOPMENT=1 - -# -# install additional development tooling -# -RUN apt update \ - && apt-get install -y --no-install-recommends git unzip \ - && rm -rf /var/lib/apt/lists/* - -# -# Composer is required for dev dependencies -# -RUN php -r "copy('https://getcomposer.org/installer', 'composer-setup.php');" \ - && php -r "if (hash_file('sha384', 'composer-setup.php') === 'c8b085408188070d5f52bcfe4ecfbee5f727afa458b2573b8eaaf77b3419b0bf2768dc67c86944da1544f06fa544fd47') { echo 'Installer verified'.PHP_EOL; } else { echo 'Installer corrupt'.PHP_EOL; unlink('composer-setup.php'); exit(1); }" \ - && php composer-setup.php \ - && php -r "unlink('composer-setup.php');" \ - && mv composer.phar /usr/local/bin/composer - -# -# node.js - used for socket.dev and other front-end tooling -# -RUN apt-get update && apt-get install -y curl gnupg ca-certificates \ - && mkdir -p /etc/apt/keyrings \ - && curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg \ - && echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_22.x nodistro main" | tee /etc/apt/sources.list.d/nodesource.list \ - && apt-get update && apt-get install -y nodejs \ - && rm -rf /var/lib/apt/lists/* - -# -# Global dependencies and tools brought in via npm -# -RUN npm install -g socket - -WORKDIR /app/public diff --git a/.docker/prod/Dockerfile b/.docker/prod/Dockerfile deleted file mode 100644 index 599892d715..0000000000 --- a/.docker/prod/Dockerfile +++ /dev/null @@ -1,13 +0,0 @@ -# "Production" Docker -# -# Provides the main runtime for PHP when deploying to a "Production" -# or "Testing" environment that needs a full container using -# the inbuilt server (not recommended). - -FROM php:8.4-cli - -# All of the files from the source location are copied into -# the /app folder -RUN mkdir /app -WORKDIR /app/public -COPY . /app
