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.)