get_article_labels: cache converted label ids

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);
 		}