diff options
Diffstat (limited to 'public.php')
-rw-r--r-- | public.php | 2 |
1 files changed, 1 insertions, 1 deletions
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); |