Merge branch 'stable-3.1'

Marius Burkard

2016-07-10 e1ceb050e19c7574bca146a8da7047ee4ff456b5

 install/lib/install.lib.php

@@ -296,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");