2023-05-24 02:53:53 +08:00
|
|
|
// TODO: Figure out how to keep this up-to-date automatically
|
|
|
|
export const builtinPlugNames = [
|
2024-08-24 18:35:09 +08:00
|
|
|
"core",
|
2023-08-28 23:12:15 +08:00
|
|
|
"editor",
|
|
|
|
"index",
|
|
|
|
"sync",
|
|
|
|
"template",
|
|
|
|
"plug-manager",
|
2023-05-24 02:53:53 +08:00
|
|
|
"emoji",
|
2023-10-03 20:16:33 +08:00
|
|
|
"query",
|
2023-05-24 02:53:53 +08:00
|
|
|
"markdown",
|
|
|
|
"share",
|
|
|
|
"tasks",
|
|
|
|
"search",
|
2023-07-02 17:25:32 +08:00
|
|
|
"federation",
|
2023-05-24 02:53:53 +08:00
|
|
|
];
|