api: fix updateFeed crashing (closes #616)

[tt-rss.git] / public.php

diff --git a/public.php b/public.php
index 4cf7653f99a376223e099bb4cab4a6a1f4203cf7..dccd77f43b3353c9243d706e375a6ab5d96e8c15 100644 (file)
--- a/public.php
+++ b/public.php
@@ -17,8 +17,8 @@
                $_REQUEST = array_map('stripslashes_deep', $_REQUEST);
        }
 
-       require_once "functions.php";
        require_once "sessions.php";
+       require_once "functions.php";
        require_once "sanity_check.php";
        require_once "config.php";
        require_once "db.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);