Current File : /home/jvzmxxx/wiki1/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