(legacy) replace time with microtime in make_config_revision_entry, not needed...

(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.

(cherry picked from commit 19a5fc38)

src/etc/inc/config.lib.inc

@@ -341,15 +341,8 @@ function make_config_revision_entry($desc = null, $override_user = null)
 	}
 
 	$revision = array();
-
 	$revision['username'] = $username;
-
-	$revision['time'] = time();
-	if ($revision['time'] == $config['revision']['time']) {
-		/* avoid conflicting timestamps (a second is long) */
-		$revision['time'] = intval($revision['time']) + 1;
-	}
-
+	$revision['time'] = microtime(true);
 	if ($desc == null || $desc == 'Unknown') {
 		$revision['description'] = sprintf(gettext("%s made unknown change"), $_SERVER['SCRIPT_NAME']);
 	} else {