stupid simple PHP version management
WampServer PHP CLI version changer is a Microsoft Windows batch script t...