Pingdom removal

Wilco Alsemgeest · web-flow · commit 9c2b94fc16c3 · 2021-08-30T12:08:23.000+02:00
Pingdom hasn't been used for a long time. Issue: #20
diff --git a/index.html b/index.html
@@ -42,17 +42,6 @@
         <script src="https://api.joomla.org/js/template.js"></script>
         <script src="https://cdnjs.cloudflare.com/ajax/libs/prettify/r298/prettify.min.js"></script>
         <!--[if lt IE 9]><script src="https://html5shim.googlecode.com/svn/trunk/html5.js"></script><![endif]-->
-        <script>
-            var _prum = [['id', '59300ad15992c776ad970068'],
-                ['mark', 'firstbyte', (new Date()).getTime()]];
-            (function() {
-                var s = document.getElementsByTagName('script')[0]
-                    , p = document.createElement('script');
-                p.async = 'async';
-                p.src = 'https://rum-static.pingdom.net/prum.min.js';
-                s.parentNode.insertBefore(p, s);
-            })();
-        </script>
     </head>
     <body class="site">
         <!-- Google Tag Manager -->
