detect the ubuntu version based on /etc/os-release

Uwe Merbeth

2016-05-09 f5daecadf5846ff0b2d512e6a1a47f17342fe02b

1
2
3
4
5
ALTER TABLE `sys_theme` ADD `sys_userid` int(11) unsigned NOT NULL DEFAULT '0',
                     ADD `sys_groupid` int(11) unsigned NOT NULL DEFAULT '0',
                     ADD `sys_perm_user` varchar(5) DEFAULT NULL,
                     ADD `sys_perm_group` varchar(5) DEFAULT NULL,
                     ADD `sys_perm_other` varchar(5) DEFAULT NULL;