Merge "Set Agora font stack to mw-ui-container in Vector"

[mediawiki.git] / maintenance / archives / patch-user_editcount.sql

ALTER TABLE /*$wgDBprefix*/user
  ADD COLUMN user_editcount int;

-- Don't initialize values immediately... or should we?
-- They will be lazy-evaluated, or batch-filled via maintenance/initEditCount.php