website: make locale-sensitive number formatting work in web browsers…

… without requestIdleCallback
rsms · Nov 20, 2023 · 8cadd9a · 8cadd9a
1 parent 346a08d
commit 8cadd9a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/index.html b/docs/index.html
@@ -1386,7 +1386,7 @@ <h4 id="{{c.id}}"><a href="#{{c.id}}">{{c.q}}</a></h4>
 observer.observe($('h1'))
 
 // low priority stuff that doesn't need to happen immediately
-requestIdleCallback(() => {
+;(typeof requestIdleCallback == "undefined" ? f => f() : requestIdleCallback)(() => {
   // convert .num/num numbers to local format, e.g. "1,234.56" vs "1.234,56"
   let nfmt = new Intl.NumberFormat() // test with .NumberFormat('de-DE')
   if (nfmt.format(1234.89) != "1,234.89") { // written as "1,234.89" in source