PHP: Allow to define version to install and use on command line - fixes #536
Docs update.