Closed this issue 9 years ago · 1 comments
It would be useful to be able to change the PHP version that gets used - add a settings option to specify the PHP version - probably major branch only (ie 5.3, 5.4,5.5, etc)
This is done in #17