Merge branch 'stable-3.1'

Marius Burkard

2016-07-10 e1ceb050e19c7574bca146a8da7047ee4ff456b5

 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';
@@ -289,7 +296,7 @@
      } elseif(stristr($content, 'CentOS Linux release 7.2')) {
         $distname = 'CentOS';
         $distver = 'Unknown';
         $distid = 'centos70';
         $distid = 'centos72';
         $distconfid = 'centos72';
         $distbaseid = 'fedora';
         swriteln("Operating System: CentOS 7.2\n");