Moved PHP docker to the PHP repository#143

Merged

PGijsbers merged 2 commits intomainfrom

feature/remove-php-docker

Oct 10, 2024

Commits on Jan 11, 2024

Moved php docker stuff to the php repository
josvandervelde
committed

Commits on Oct 10, 2024

Downgrade ES as new PHP server uses old ES
PGijsbers
committed