Added PHP 7 check in installer and updater.

Till Brehm

2016-04-22 ebd0e986ed11f2a34fb58cdd33efbfab192083ad

 server/plugins-available/bind_plugin.inc.php

@@ -106,6 +106,7 @@
         if(is_array($records) && !empty($records)){
            for($i=0;$i<sizeof($records);$i++){
               if($records[$i]['ttl'] == 0) $records[$i]['ttl'] = '';
               if($records[$i]['name'] == '') $records[$i]['name'] = '@';
               //* Split TXT records, if nescessary
               if($records[$i]['type'] == 'TXT' && strlen($records[$i]['data']) > 255) {
                  $records[$i]['data'] = implode('" "',str_split( $records[$i]['data'], 255));
@@ -116,7 +117,7 @@

         //TODO : change this when distribution information has been integrated into server record
         if (file_exists('/etc/gentoo-release')) {
            $filename = escapeshellcmd($dns_config['bind_zonefiles_dir'].'/pri.'.str_replace("/", "_", substr($zone['origin'], 0, -1)));
            $filename = escapeshellcmd($dns_config['bind_zonefiles_dir'].'/pri/'.str_replace("/", "_", substr($zone['origin'], 0, -1)));
         }
         else {
            $filename = escapeshellcmd($dns_config['bind_zonefiles_dir'].'/pri.'.str_replace("/", "_", substr($zone['origin'], 0, -1)));
@@ -150,7 +151,7 @@
      if($data['old']['origin'] != $data['new']['origin']) {
         //TODO : change this when distribution information has been integrated into server record
         if (file_exists('/etc/gentoo-release')) {
            $filename = $dns_config['bind_zonefiles_dir'].'/pri.'.str_replace("/", "_", substr($data['old']['origin'], 0, -1));
            $filename = $dns_config['bind_zonefiles_dir'].'/pri/'.str_replace("/", "_", substr($data['old']['origin'], 0, -1));
         }
         else {
            $filename = $dns_config['bind_zonefiles_dir'].'/pri.'.str_replace("/", "_", substr($data['old']['origin'], 0, -1));