Add Dockerfile

Dockerfile

@@ -0,0 +1,26 @@
+
+# Running this container will start a language server that listens for TCP connections on port 2088
+# Every connection will be run in a forked child process
+
+# Please note that before building the image, you have to install dependencies with `composer install`
+
+FROM php:7-cli
+
+RUN apt-get update \
+    # Needed for CodeSniffer
+    && apt-get install -y libxml2 libxml2-dev \
+    && rm -rf /var/lib/apt/lists/*
+
+RUN docker-php-ext-configure pcntl --enable-pcntl
+RUN docker-php-ext-install pcntl
+COPY ./php.ini /usr/local/etc/php/conf.d/
+
+COPY ./ /srv/phpls
+
+WORKDIR /srv/phpls
+
+EXPOSE 2088
+
+CMD ["--tcp-server=0:2088"]
+
+ENTRYPOINT ["php", "bin/php-language-server.php"]

php.ini

@@ -0,0 +1,5 @@
+
+# php.ini for Docker
+
+error_reporting = E_ALL
+display_errors = stderr