Merge "Fix positioning of jQuery.tipsy tooltip arrows"

[mediawiki.git] / maintenance / archives / patch-drop-user_options.sql

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