mediawiki-extensions-AJAXPoll/sql/create-table--ajaxpoll_info.sql

CREATE TABLE IF NOT EXISTS /*_*/ajaxpoll_info (
  `poll_id` varchar(32) NOT NULL PRIMARY KEY default '',
  `poll_txt` text,
  `poll_show_results_before_voting` TINYINT(1),
  `poll_date` datetime default NULL
) /*$wgDBTableOptions*/;
version 1.72 -- schema change. database rename . dropping an unused table field. follow up r113772 2012-03-14 20:19:16 +00:00			`CREATE TABLE IF NOT EXISTS /_/ajaxpoll_info (`
			`poll_id` varchar(32) NOT NULL PRIMARY KEY default '',
			`poll_txt` text,
adding the forgotten table row to the table schema sql Bug: 55481 Change-Id: If720850cec32cda933d20f1321002e10aaae36d4 2013-10-09 21:08:18 +00:00			`poll_show_results_before_voting` TINYINT(1),
version 1.72 -- schema change. database rename . dropping an unused table field. follow up r113772 2012-03-14 20:19:16 +00:00			`poll_date` datetime default NULL
			`) /$wgDBTableOptions/;`