Merge "mediawiki.language: Implement non-digit-grouping of four-digit numbers"

[lhc/web/wiklou.git] / maintenance / archives / patch-drop-user_options.sql

ALTER TABLE /*_*/user DROP COLUMN user_options;