Revision 167ca0ec47de11ac69ba66bdc35e1a1e43c3b39f

Committed on 23/01/2024 1:28 pm by Ole Rößner <o.roessner@neusta.de> [GitHub Diff]

move skipCompile from options to constructir argument, so it won't be passed to the php command as argument.