Merge branch 'stable-3.1'

Marius Burkard

2016-06-07 b63119417fe6e4bbcd072108d7dec927ee879d4a

 install/lib/install.lib.php

@@ -200,6 +200,13 @@
         $distid = 'debian60';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian 8.0 (Jessie) or compatible\n");
      } elseif(strstr(trim(file_get_contents('/etc/debian_version')), '/sid')) {
         $distname = 'Debian';
         $distver = 'Testing';
         $distid = 'debian60';
         $distconfid = 'debiantesting';
         $distbaseid = 'debian';
         swriteln("Operating System: Debian Testing\n");
      } else {
         $distname = 'Debian';
         $distver = 'Unknown';