Merge branch 'stable-3.1'

Marius Burkard

2016-05-04 c3189ce6c7301c3ec17878fd3918f31d0d3cb18a

 install/lib/install.lib.php

@@ -86,6 +86,16 @@
         $mainver = array_filter($mainver);
         $mainver = current($mainver).'.'.next($mainver);
         switch ($mainver){
         case "16.04":
            $relname = "(Xenial Xerus)";
            $distid = 'ubuntu1604';
            break;
         case "15.10":
            $relname = "(Wily Werewolf)";
            break;
         case "15.04":
            $relname = "(Vivid Vervet)";
            break;
         case "14.10":
            $relname = "(Utopic Unicorn)";
            break;