PHP command line version switcher - allows different PHP versions in sub directories