Make some changes to reviewdb ui and add badges to it (#245)

This commit is contained in:
Manti 2022-12-18 01:30:29 +03:00 committed by GitHub
parent 3efc79224f
commit 47de9fab2e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 126 additions and 43 deletions

View file

@ -290,3 +290,7 @@ export const ContextMenu = mapMangledModuleLazy('type:"CONTEXT_MENU_OPEN"', {
options?: { enableSpellCheck?: boolean; }
): void;
};
export const MaskedLinkStore = mapMangledModuleLazy('"MaskedLinkStore"', {
openUntrustedLink: filters.byCode(".apply(this,arguments)")
});