Florianschmidtwelzow has submitted this change and it was merged. Change subject: Drop index from primary key ......................................................................
Drop index from primary key A primary key having an index, there is no need to create another index for it. Additionally, the index had the same name as the table, which cause an error under sqlite. Change-Id: Ie537c54e6e169fe5cbacbae4fd0d85ffa245eedb --- M sql/user_google_user.sql 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Florianschmidtwelzow: Looks good to me, approved jenkins-bot: Verified diff --git a/sql/user_google_user.sql b/sql/user_google_user.sql index 93ee0c5..4a11186 100644 --- a/sql/user_google_user.sql +++ b/sql/user_google_user.sql @@ -5,6 +5,3 @@ user_googleid DECIMAL(25,0) unsigned NOT NULL PRIMARY KEY, user_id int(10) unsigned NOT NULL ) /*$wgDBTableOptions*/; - - -CREATE INDEX /*$wgDBprefix*/user_google_user ON /*$wgDBprefix*/user_google_user(user_id); \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/142556 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie537c54e6e169fe5cbacbae4fd0d85ffa245eedb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/GoogleLogin Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> Gerrit-Reviewer: Florianschmidtwelzow <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
