diff --git a/examples/templates/example.html b/examples/templates/example.html index 4562431e01..b6f7598625 100644 --- a/examples/templates/example.html +++ b/examples/templates/example.html @@ -192,9 +192,9 @@ <meta charset="UTF-8"> <title>{{ title }}</title> <!-- Pointer events polyfill for old browsers, see https://caniuse.com/#feat=pointer --> - <script src="https://unpkg.com/elm-pep"></script>{{#if extraHead.remote}} + <script src="https://unpkg.com/elm-pep"></script> <!-- The line below is only needed for old environments like Internet Explorer and Android 4.x --> - <script src="https://cdn.polyfill.io/v3/polyfill.min.js?features=fetch,requestAnimationFrame,Element.prototype.classList,URL,TextDecoder"></script> + <script src="https://cdn.polyfill.io/v3/polyfill.min.js?features=fetch,requestAnimationFrame,Element.prototype.classList,URL,TextDecoder,Number.isInteger"></script>{{#if extraHead.remote}} {{ indent extraHead.remote spaces=4 }}{{/if}} <style> .map {