www.videolan.org/vlc/stats/downloads.php

@@ -5,6 +5,15 @@
     require($_SERVER["DOCUMENT_ROOT"]."/include/header.php");
 ?>
 
+<script>
+    $(function() {
+        var ws = new WebSocket("wss://get.videolan.org/wscounter");
+        ws.onmessage = function(event) {
+            $('#wscounter').text(event.data);
+        };
+    });
+</script>
+
 <div id="fullwidth">
     <h1>VLC download statistics</h1>
 
@@ -16,13 +25,15 @@
     <p>We don't show Linux download statistics as most downloads for this
        OS are made through distributions.</p>
 
+    <p align="center" id="wscounter"></p>
+
 <?php    echo "<center><img src='//images.videolan.org/images/events/1billion.png' alt='1 billion downloads' class='' style='box-shadow: 0px 0px 10px 5px #FFF; margin-top: 20px;' /></center>"; ?>
 
     <h1>Downloads by version and by OS</h1>
     <table border="0">
     <tr>
     <th style="text-align: left; width: 60px;">Version</th>
-    <th class="os" style="text-align: right;"><img src="http://images.videolan.org/images/icons/winvista.png" alt="Windows" width="32" height="32" />
+    <th class="os" style="text-align: right;"><img src="//images.videolan.org/images/icons/winvista.png" alt="Windows" width="32" height="32" />
     </th>
     <th class="os" style="text-align: right;"><img src="/images/icons/macosx.png" alt="Mac OS X" width="32" height="32" />
     </th>