jens/flipper
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Make HTML entry points identical

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

Reviewed By: aigoncharov

Differential Revision: D51307116

fbshipit-source-id: 5aea8e455d623aba260e3e37a2c549ebc67dd3b0
This commit is contained in:
Lorenzo Blasa
2023-11-14 10:53:09 -08:00
committed by Facebook GitHub Bot
parent 65d2ce7ed5
commit f1b35ca592
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
desktop/static/index.web.dev.html
View File

@@ -61,7 +61,7 @@
</div> </div>
<script> <script>
(async function () { (function () {
// Line below needed to make Metro work. Alternatives could be considered. // Line below needed to make Metro work. Alternatives could be considered.
window.global = window; window.global = window;

5
desktop/static/index.web.html
View File

@@ -35,6 +35,7 @@
color: #525252; color: #525252;
text-align: center; text-align: center;
} }
.message p { .message p {
font-size: 12px; font-size: 12px;
} }
@@ -43,6 +44,7 @@
display: none; display: none;
background-color: white; background-color: white;
} }
</style> </style>
</head> </head>
@@ -60,7 +62,7 @@
<script> <script>
(function () { (function () {
// FIXME: needed to make Metro work // Line below needed to make Metro work. Alternatives could be considered.
window.global = window; window.global = window;
// Listen to changes in the network state, reload when online. // Listen to changes in the network state, reload when online.
@@ -131,6 +133,7 @@
document.body.appendChild(script); document.body.appendChild(script);
} }
init(); init();
})(); })();
</script> </script>