Widget: DCTList: Difference between revisions
From LINKS Community Center
Eschmidt (talk | contribs) No edit summary |
Eschmidt (talk | contribs) No edit summary |
||
Line 670: | Line 670: | ||
} else { | } else { | ||
for (const [cat, subs] of filter.type.functions) { | for (const [cat, subs] of filter.type.functions) { | ||
summaryHtml += cat + ' | summaryHtml += cat + ' <small>(' + subs.join(', ') + ')</small>, '; | ||
} | } | ||
} | } |
Revision as of 15:37, 21 November 2022
Development verstion of the DCT List.
Not ready for production!