diff options
| -rw-r--r-- | backend.php | 2 | ||||
| -rw-r--r-- | public.php | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/backend.php b/backend.php index 98b76450f..41481a963 100644 --- a/backend.php +++ b/backend.php @@ -47,7 +47,7 @@ startup_gettext(); - $script_started = getmicrotime(); + $script_started = microtime(true); $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); diff --git a/public.php b/public.php index 7138b3d81..dccd77f43 100644 --- a/public.php +++ b/public.php @@ -28,7 +28,7 @@ startup_gettext(); - $script_started = getmicrotime(); + $script_started = microtime(true); $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); |