Make tsc happy

src/Vencord.ts

@@ -24,10 +24,10 @@ export * as Updater from "./utils/updater";
 export * as Webpack from "./webpack";
 
 import { popNotice, showNotice } from "./api/Notices";
-import { PlainSettings,Settings } from "./api/settings";
+import { PlainSettings, Settings } from "./api/settings";
 import { startAllPlugins } from "./plugins";
 
-export { PlainSettings,Settings };
+export { PlainSettings, Settings };
 
 import "./webpack/patchWebpack";
 import "./utils/quickCss";

src/globals.d.ts

@@ -16,6 +16,8 @@
  * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
 
+import React from "react";
+
 declare global {
     /**
      * This exists only at build time, so references to it in patches should insert it
@@ -47,6 +49,12 @@ declare global {
      */
     export var DiscordNative: any;
 
+    // jsFactory, here to make ts happy
+    /** Shorter alias for React.createElement to reduce bundle size, don't use this. */
+    export var _Ve$: typeof React["createElement"];
+    /** Shorter alias for React.Fragment to reduce bundle size, don't use this. */
+    export var _VF$: typeof React["Fragment"];
+
     interface Window {
         webpackChunkdiscord_app: {
             push(chunk: any): any;
@@ -55,5 +63,3 @@ declare global {
         [k: string]: any;
     }
 }
-
-export { };