Merge branch 'main' of https://github.com/cAttte/types-mediawiki into…

… main
wikimedia-gadgets · Mar 5, 2021 · b9b8817 · b9b8817
2 parents 8869a49 + e5f25db
commit b9b8817
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/mw/index.d.ts b/mw/index.d.ts
@@ -41,8 +41,8 @@ declare global {
             wgEnableAPI: boolean;
             wgEnableWriteAPI: boolean;
             wgExtensionAssetsPath: string;
-            wgFormattedNamespaces: Record<string, string>;
-            wgNamespaceIds: Record<string, string>;
+            wgFormattedNamespaces: Record<number, string>;
+            wgNamespaceIds: Record<string, number>;
             wgScript: string;
             wgScriptPath: string;
             wgServer: string;