text: CREATE TABLE `version` (
    `id` int(11) NOT NULL AUTO_INCREMENT,
    `number` varchar(20) NOT NULL,
    `at` datetime NOT NULL DEFAULT CURRENT_TIMESTAMP,
    PRIMARY KEY (id)
  ) ENGINE=InnoDB DEFAULT CHARSET=utf8;
  INSERT INTO `version` (`number`) VALUES ('0.16.0');
  