get_article_labels: cache converted label ids

diff --git a/include/labels.php b/include/labels.php
index c2a48a3389b50c1e10cf10f2eafff5d8797d2482..6e0bfcb987548a3806c4fa1232fea457b78a8f9c 100644 (file)
--- a/include/labels.php
+++ b/include/labels.php
@@ -42,7 +42,8 @@
                        ORDER BY caption");
 
                while ($line = db_fetch_assoc($result)) {
-                       $rk = array($line["label_id"], $line["caption"], $line["fg_color"],
+                       $rk = array(label_to_feed_id($line["label_id"]),
+                               $line["caption"], $line["fg_color"],
                                $line["bg_color"]);
                        array_push($rv, $rk);
                }