Update dockerfile

Author: joanhey

src/Servers/WorkermanServer/Dockerfile

@@ -1,24 +1,13 @@
-FROM ubuntu:24.04
-
-ARG DEBIAN_FRONTEND=noninteractive
-
-RUN apt-get update -yqq && apt-get install -yqq software-properties-common > /dev/null
-RUN LC_ALL=C.UTF-8 add-apt-repository ppa:ondrej/php > /dev/null && \
-    apt-get update -yqq > /dev/null && apt-get upgrade -yqq > /dev/null
-
-RUN apt-get install -yqq php8.5-cli php8.5-xml php8.5-zip > /dev/null
+FROM php:8.5-cli
 
 COPY --from=composer/composer:latest-bin --link /composer /usr/local/bin/composer
 
-RUN apt-get install -y php-pear php8.5-dev libevent-dev git > /dev/null && \
-    pecl install event-3.1.4 > /dev/null && echo "extension=event.so" > /etc/php/8.5/cli/conf.d/30-event.ini
-
 WORKDIR /workerman
-COPY composer.json .
+COPY src/Servers/WorkermanServer/composer.json .
 RUN composer install --optimize-autoloader --classmap-authoritative --no-dev --quiet
-COPY php.ini /etc/php/8.5/cli/php.ini
+COPY src/Servers/WorkermanServer/php.ini /etc/php/8.5/cli/php.ini
 
-COPY start.php .
+COPY src/Servers/WorkermanServer/start.php .
 
 EXPOSE 8080