Improved form for Tools > User settings.

Till Brehm

2016-01-10 3e7d11a2282bb176fb4703e32ee7c2708d7c9566

1
ALTER TABLE `web_domain` ADD `python` ENUM( 'n', 'y' ) NOT NULL DEFAULT 'n' AFTER `ruby`;