]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - maintenance/archives/patch-eu_local_id.sql
MediaWiki 1.17.4-scripts
[autoinstalls/mediawiki.git] / maintenance / archives / patch-eu_local_id.sql
1 ALTER TABLE /*_*/external_user
2 CHANGE COLUMN eu_wiki_id
3 eu_local_id int unsigned NOT NULL;