more plugin fixes

This commit is contained in:
Vendicated 2022-11-11 16:43:40 +01:00
parent 1176896a1b
commit 2133823bd3
No known key found for this signature in database
GPG key ID: EC781ADFB93EFFA3
5 changed files with 47 additions and 5 deletions

View file

@ -34,7 +34,10 @@ export interface Patch {
plugin: string;
find: string;
replacement: PatchReplacement | PatchReplacement[];
/** Whether this patch should apply to multiple modules */
all?: boolean;
/** Do not warn if this patch did no changes */
noWarn?: boolean;
predicate?(): boolean;
}