feedlist_init_cat: assume cat_id is integer

diff --git a/functions.php b/functions.php
index 5fe775971389d786737f23d560f0197d6533a8a6..e2e98455800e3a39968e6f83887385370b0ea4e1 100644 (file)
--- a/functions.php
+++ b/functions.php
@@ -6963,6 +6963,7 @@
 
        function feedlist_init_cat($link, $cat_id, $hidden = false) {
                $obj = array();
+               $cat_id = (int) $cat_id;
 
                if ($cat_id > 0) {
                        $cat_unread = ccache_find($link, $cat_id, $_SESSION["uid"], true);