(legacy) replace time with microtime in make_config_revision_entry, not needed for the config revision anymore because that method uses it's own timestamp. Revision entries are also used on some other config items, like firewall rules.