]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blobdiff - maintenance/archives/patch-eu_local_id.sql
MediaWiki 1.16.0
[autoinstallsdev/mediawiki.git] / maintenance / archives / patch-eu_local_id.sql
diff --git a/maintenance/archives/patch-eu_local_id.sql b/maintenance/archives/patch-eu_local_id.sql
new file mode 100644 (file)
index 0000000..bb59d06
--- /dev/null
@@ -0,0 +1,3 @@
+ALTER TABLE /*_*/external_user
+CHANGE COLUMN eu_wiki_id
+eu_local_id int unsigned NOT NULL;