jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/335739 )
Change subject: FU SQLite ...................................................................... FU SQLite Change-Id: I9c302a75f4851463821ac4083b7d22d793114db7 --- M poll.sql 1 file changed, 3 insertions(+), 3 deletions(-) Approvals: Jack Phoenix: Looks good to me, approved jenkins-bot: Verified diff --git a/poll.sql b/poll.sql index f98de78..5a3cf14 100644 --- a/poll.sql +++ b/poll.sql @@ -1,6 +1,6 @@ -- Three tables for PollNY extension CREATE TABLE /*_*/poll_choice ( - `pc_id` int(11) NOT NULL auto_increment PRIMARY KEY, + `pc_id` int(11) NOT NULL PRIMARY KEY auto_increment, `pc_poll_id` int(11) NOT NULL default '0', `pc_order` int(5) default '0', `pc_text` text NOT NULL, @@ -10,7 +10,7 @@ CREATE INDEX /*i*/pc_poll_id ON /*_*/poll_choice (pc_poll_id); CREATE TABLE /*_*/poll_question ( - `poll_id` int(11) NOT NULL auto_increment PRIMARY KEY, + `poll_id` int(11) NOT NULL PRIMARY KEY auto_increment, `poll_page_id` int(11) NOT NULL default '0', `poll_user_id` int(11) NOT NULL default '0', `poll_user_name` varchar(255) NOT NULL default '', @@ -29,7 +29,7 @@ CREATE INDEX /*i*/poll_random ON /*_*/poll_question (poll_random); CREATE TABLE /*_*/poll_user_vote ( - `pv_id` int(11) NOT NULL auto_increment PRIMARY KEY, + `pv_id` int(11) NOT NULL PRIMARY KEY auto_increment, `pv_poll_id` int(11) NOT NULL default '0', `pv_pc_id` int(5) default '0', `pv_user_id` int(11) NOT NULL default '0', -- To view, visit https://gerrit.wikimedia.org/r/335739 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9c302a75f4851463821ac4083b7d22d793114db7 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/PollNY Gerrit-Branch: master Gerrit-Owner: Jack Phoenix <j...@countervandalism.net> Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
