jenkins-bot has submitted this change and it was merged. Change subject: Fix wikiset primary key ......................................................................
Fix wikiset primary key Change-Id: I25e083f2ff369319fa7624f557323c5e19d6492a --- M central-auth.sql 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: CSteipp: Looks good to me, approved jenkins-bot: Verified diff --git a/central-auth.sql b/central-auth.sql index 690c110..f1ded9e 100644 --- a/central-auth.sql +++ b/central-auth.sql @@ -156,7 +156,7 @@ -- 2048 wikis. More than we need ws_wikis blob not null, - PRIMARY KEY ws_id (ws_id), + PRIMARY KEY (ws_id), UNIQUE ws_name (ws_name) ) /*$wgDBTableOptions*/; -- To view, visit https://gerrit.wikimedia.org/r/132688 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I25e083f2ff369319fa7624f557323c5e19d6492a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CentralAuth Gerrit-Branch: master Gerrit-Owner: Reedy <re...@wikimedia.org> Gerrit-Reviewer: CSteipp <cste...@wikimedia.org> Gerrit-Reviewer: Hoo man <h...@online.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
