@WouterJ I suggest keeping the shebang while still calling PHP explicitly in the doc