Alan Guo Xiang Tan 609562be3e FEATURE: Add input filter for editing tags in navigation menu modal (#22216) ... What does this change do? This commit adds an input filter to filter through the tag checkboxes in the modal to edit tags that are shown in the user's navigation menu. The filtering is a simple matching of the given filter term against the names of the tags.		2023-06-21 10:59:56 +08:00
..
images	FIX: fallback to default push notification icon if none exists (#16961)	2022-06-01 12:00:05 +10:00
javascripts	FEATURE: Add input filter for editing tags in navigation menu modal (#22216)	2023-06-21 10:59:56 +08:00
stylesheets	FEATURE: Add input filter for editing tags in navigation menu modal (#22216)	2023-06-21 10:59:56 +08:00