Added PHP 7 check in installer and updater.

Till Brehm

2016-04-22 ebd0e986ed11f2a34fb58cdd33efbfab192083ad

1
2
ALTER TABLE `sys_config` DROP `config_id`,
    ADD PRIMARY KEY (`group`, `name`);