PHP version control