make_init_params: add some additional information useful for reporting

diff --git a/include/functions2.php b/include/functions2.php
index ed0963c46e34992f62baafcb472656d61cdff511..57475183aae0b08031a98521a60f3826d8f321a7 100644 (file)
--- a/include/functions2.php
+++ b/include/functions2.php
@@ -18,6 +18,11 @@
                $params["bw_limit"] = (int) $_SESSION["bw_limit"];
                $params["label_base_index"] = (int) LABEL_BASE_INDEX;
 
+               $params["php_platform"] = PHP_OS;
+               $params["php_version"] = PHP_VERSION;
+
+               $params["sanity_checksum"] = sha1(file_get_contents("include/sanity_check.php"));
+
                $result = db_query("SELECT MAX(id) AS mid, COUNT(*) AS nf FROM
                        ttrss_feeds WHERE owner_uid = " . $_SESSION["uid"]);