Access index.php returns file contents instead of being executed

[RimuruChan]

trafficstars

Description of the problem

Using docker from https://hub.docker.com/r/domjudge/domserver When access http://host/index.php it returns php file content instead of index page.

Your environment

• DOMjudge 8.3.1
• Ubuntu 22.04
• Webserver nginx

Steps to reproduce

curl http://127.0.0.1/index.php

Expected behaviour

Return index page

Actual behaviour

Return the content of index.php