MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-user_groups-primary-key.sql

diff --git a/maintenance/archives/patch-user_groups-primary-key.sql b/maintenance/archives/patch-user_groups-primary-key.sql
new file mode 100644 (file)
index 0000000..e3c8735
--- /dev/null
+++ b/maintenance/archives/patch-user_groups-primary-key.sql
@@ -0,0 +1,5 @@
+-- Convert unique index into a primary key on user_groups
+
+ALTER TABLE /*$wgDBprefix*/user_groups
+  DROP INDEX ug_user_group,
+  ADD PRIMARY KEY (ug_user, ug_group);