ReviewDB: Add Review Modal & Pagination (#1174)

Co-authored-by: V <vendicated@riseup.net>
This commit is contained in:
Manti 2023-05-28 23:03:06 +03:00 committed by GitHub
parent 6300198a54
commit 3e3d05fc26
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
21 changed files with 803 additions and 394 deletions

View file

@ -266,7 +266,12 @@ export function definePluginSettings<D extends SettingsDefinition, C extends Set
def,
checks: checks ?? {},
pluginName: "",
withPrivateSettings<T>() {
return this as DefinedSettings<D, C> & { store: T; };
}
};
return definedSettings;
}