stupid simple PHP version management