Merge "docs: Ignore extensions/ and skins/ in mwdocgen.php by default"
[lhc/web/wiklou.git] / maintenance / archives / patch-drop-user_options.sql
1 ALTER TABLE /*_*/user DROP COLUMN user_options;