Migrate user

Summary: Migrate user and introduce a global declarations file.

Reviewed By: danielbuechele

Differential Revision: D16690480

fbshipit-source-id: be4e5218715dcae4b403b24cdbc2f3e89728dd59

src/fb-stubs/user.tsx

@@ -21,20 +21,20 @@ export async function shareFlipperData(
   trace: string,
 ): Promise<
   | {
-      id: string,
-      os: 'string',
-      deviceType: string,
-      plugins: string[],
-      fileUrl: string,
-      flipperUrl: string,
+      id: string;
+      os: 'string';
+      deviceType: string;
+      plugins: string[];
+      fileUrl: string;
+      flipperUrl: string;
     }
   | {
-      error: string,
-      error_class: string,
-      stacktrace: string,
-    },
+      error: string;
+      error_class: string;
+      stacktrace: string;
+    }
 > {
-  new window.Notification('Feature not implemented');
+  new Notification('Feature not implemented');
   return Promise.reject();
 }