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