Yes, that does work fine.  Just a bloody nuisance!  It should default to
`php` or `/usr/bin/env php`



Regards,
Joseph David Borġ
josephb.org


On 13 May 2014 16:45, Glenn Morris <rgm@gnu.org> wrote:

> Joe Borġ wrote:
>
> > Thanks for your help.  I'm going to create a pull request with a fix for
> > them.
>
> Great! (AFAICS, just defaulting php-executable to "php" would be enough.)
>