mirror of
https://github.com/open-webui/open-webui.git
synced 2026-04-27 01:55:14 +02:00
chore: format
This commit is contained in:
@@ -96,9 +96,7 @@
|
||||
}
|
||||
}
|
||||
|
||||
selectedToolIds = selectedToolIds.filter(
|
||||
(id) => Object.keys(tools).includes(id)
|
||||
);
|
||||
selectedToolIds = selectedToolIds.filter((id) => Object.keys(tools).includes(id));
|
||||
};
|
||||
</script>
|
||||
|
||||
|
||||
Reference in New Issue
Block a user