Update Google Analytics snippet to always load via HTTPS

This is the official Google Analytics snippet.

diff --git a/docs/_includes/header.html b/docs/_includes/header.html
index 54bfddf6902be9a426f8b90ded8c6b2432c85584..37e27cd07dc2db58de5385f05a76f51d68706bb5 100644 (file)
--- a/docs/_includes/header.html
+++ b/docs/_includes/header.html
@@ -33,7 +33,7 @@
   (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
   (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
   m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
-  })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
+  })(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
   ga('create', 'UA-146052-10', 'getbootstrap.com');
   ga('send', 'pageview');
 </script>