(extensionId: string)
| 111 | }; |
| 112 | |
| 113 | const remove = async (extensionId: string) => { |
| 114 | await api.delete(`/extensions/${extensionId}`); |
| 115 | await refresh(); |
| 116 | }; |
| 117 | |
| 118 | const extensionIds = computed(() => extensions.value.map((ext) => ext.id)); |
| 119 |