3.0.12-update: add language selector

www.videolan.org/vlc/releases/3.0.12-update.php

@@ -12,6 +12,13 @@
    $macosxversion = "3.0.13";
    $win32version = "3.0.14";
 ?>
+    <div class="container">
+        <div class="col-md-10 col-md-offset-1">
+            <div class="row text-center">
+                <p><a href="3.0.12-update.de.html">DEUTSCH</a> | <b>ENGLISH</b> | <a href="3.0.12-update.fr.html">FRAN&Ccedil;AIS</a></p>
+            </div>
+        </div>
+    </div>
     <div class="container">
 
             <center><h1 class='bigtitle' style="padding-bottom: 3px;">VLC <b>3.0.12</b> and <b>3.0.13</b> <em>automatic updater issue</em></h1>