Improved form for Tools > User settings.

Till Brehm

2016-01-10 3e7d11a2282bb176fb4703e32ee7c2708d7c9566

1
ALTER TABLE `client` CHANGE `web_php_options` `web_php_options` VARCHAR( 255 ) CHARACTER SET utf8 COLLATE utf8_general_ci NOT NULL DEFAULT 'no,fast-cgi,cgi,mod,suphp,php-fpm';