Use production php.ini for Docker

[lazyfrosch]

This improves logging and avoids errors and warnings being sent to the user. Which breaks the XML output too.

[tigerxy]

Hey, thanks for your suggestion for improvement. I solved it as described in the documentation because not every user has php installed locally or in another folder. See commit 69a0fdf6816a8d99b1b64dc827fbda26d273fc1a