core: fix types

pull/428/head
undefined 2 years ago
parent 7343c596e9
commit b3b8a03e00

@ -22,11 +22,6 @@ if (!global.Hydro) {
// @ts-ignore
ui: {
manifest: {},
nodes: {
nav: [],
problem_add: [],
user_dropdown: [],
},
template: {},
},
// @ts-ignore

Loading…
Cancel
Save