jenkins-bot has submitted this change and it was merged. Change subject: Apparently jenkins/SQLite is picky about the placement of AUTO_INCREMENT in a table definition ......................................................................
Apparently jenkins/SQLite is picky about the placement of AUTO_INCREMENT in a table definition Change-Id: I3e4eb85bb71b0ccac4b3ac13c745f5b074e6e95d --- M UserStats/user_points_archive.sql M UserStats/user_points_monthly.sql M UserStats/user_points_weekly.sql 3 files changed, 3 insertions(+), 3 deletions(-) Approvals: Jack Phoenix: Looks good to me, approved jenkins-bot: Verified diff --git a/UserStats/user_points_archive.sql b/UserStats/user_points_archive.sql index 7886d82..4d13d1d 100644 --- a/UserStats/user_points_archive.sql +++ b/UserStats/user_points_archive.sql @@ -1,5 +1,5 @@ CREATE TABLE /*_*/user_points_archive ( - up_id int(11) NOT NULL auto_increment PRIMARY KEY, + up_id int(11) NOT NULL PRIMARY KEY auto_increment, up_period int(2) NOT NULL default 0, up_date datetime default NULL, up_user_id int(11) NOT NULL default 0, diff --git a/UserStats/user_points_monthly.sql b/UserStats/user_points_monthly.sql index 80b24bb..c9d0f0a 100644 --- a/UserStats/user_points_monthly.sql +++ b/UserStats/user_points_monthly.sql @@ -1,5 +1,5 @@ CREATE TABLE /*_*/user_points_monthly ( - up_id int(11) NOT NULL auto_increment PRIMARY KEY, + up_id int(11) NOT NULL PRIMARY KEY auto_increment, up_user_id int(11) NOT NULL default 0, up_user_name varchar(255) NOT NULL default '', up_points float NOT NULL default 0 diff --git a/UserStats/user_points_weekly.sql b/UserStats/user_points_weekly.sql index f9f8702..a9cb4ab 100644 --- a/UserStats/user_points_weekly.sql +++ b/UserStats/user_points_weekly.sql @@ -1,5 +1,5 @@ CREATE TABLE /*_*/user_points_weekly ( - up_id int(11) NOT NULL auto_increment PRIMARY KEY, + up_id int(11) NOT NULL PRIMARY KEY auto_increment, up_user_id int(11) NOT NULL default 0, up_user_name varchar(255) NOT NULL default '', up_points float NOT NULL default 0 -- To view, visit https://gerrit.wikimedia.org/r/184861 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3e4eb85bb71b0ccac4b3ac13c745f5b074e6e95d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/SocialProfile Gerrit-Branch: master Gerrit-Owner: Jack Phoenix <[email protected]> Gerrit-Reviewer: Jack Phoenix <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
