From 19a5fc38c9f76b255e953060090e809a5fc4fa21 Mon Sep 17 00:00:00 2001
From: Ad Schellevis <ad@opnsense.org>
Date: Mon, 21 Sep 2015 11:30:33 +0000
Subject: [PATCH] (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.

---
 src/etc/inc/config.lib.inc | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/src/etc/inc/config.lib.inc b/src/etc/inc/config.lib.inc
index 4518dcfb1..b14fcb813 100644
--- a/src/etc/inc/config.lib.inc
+++ b/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 {