From f1b35ca592fa17cf154e9f1071ddef530b602336 Mon Sep 17 00:00:00 2001
From: Lorenzo Blasa <lblasa@meta.com>
Date: Tue, 14 Nov 2023 10:53:09 -0800
Subject: [PATCH] Make HTML entry points identical

Summary: Make both prod and dev HTML entry points identical.

Reviewed By: aigoncharov

Differential Revision: D51307116

fbshipit-source-id: 5aea8e455d623aba260e3e37a2c549ebc67dd3b0
---
 desktop/static/index.web.dev.html | 2 +-
 desktop/static/index.web.html     | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/desktop/static/index.web.dev.html b/desktop/static/index.web.dev.html
index af9bda6ed..13d691aea 100644
--- a/desktop/static/index.web.dev.html
+++ b/desktop/static/index.web.dev.html
@@ -61,7 +61,7 @@
   </div>
 
   <script>
-      (async function () {
+      (function () {
         // Line below needed to make Metro work. Alternatives could be considered.
         window.global = window;
 
diff --git a/desktop/static/index.web.html b/desktop/static/index.web.html
index eb126d789..1955e4d15 100644
--- a/desktop/static/index.web.html
+++ b/desktop/static/index.web.html
@@ -35,6 +35,7 @@
       color: #525252;
       text-align: center;
     }
+
     .message p {
       font-size: 12px;
     }
@@ -43,6 +44,7 @@
       display: none;
       background-color: white;
     }
+
   </style>
 </head>
 
@@ -60,7 +62,7 @@
 
   <script>
       (function () {
-        // FIXME: needed to make Metro work
+        // Line below needed to make Metro work. Alternatives could be considered.
         window.global = window;
 
         // Listen to changes in the network state, reload when online.
@@ -131,6 +133,7 @@
 
           document.body.appendChild(script);
         }
+        
         init();
       })();
   </script>