chore: Rename tool groups to business domain names

This commit is contained in:
jade
2026-07-04 01:28:26 +09:00
parent 6dc02d356f
commit 4f374afb2d
6 changed files with 13 additions and 6 deletions

View File

@@ -341,7 +341,13 @@
Object.keys(groupedTools).sort().forEach(group => {
const optgroup = document.createElement('optgroup');
let label = group;
if (group.toLowerCase().startsWith('group_')) {
if (group === 'biz_core') {
label = '핵심 업무 (Biz Core)';
} else if (group === 'biz_channel') {
label = '채널/고객 (Biz Channel)';
} else if (group === 'biz_support') {
label = '지원/인사 (Biz Support)';
} else if (group.toLowerCase().startsWith('group_')) {
label = 'Group ' + group.split('_')[1];
}
optgroup.label = label;