Get rid of some casts

2024-07-11 18:01:41 +02:00
parent bc01a945db
commit 2f60b94a64
5 changed files with 5 additions and 6 deletions
@@ -94,7 +94,7 @@ function getExtensionsInfo(extensions: TExtension[]): {

    return {
        allLangs,
-        groupedExtensions: (result as GroupedExtensionsResult).concat(langExt),
+        groupedExtensions: result.concat(langExt),
    };
 }