maintenance/archives/patch-user_editcount.sql

   1 ALTER TABLE /*$wgDBprefix*/user
   2   ADD COLUMN user_editcount int;
   3
   4 -- Don't initialize values immediately... or should we?
   5 -- They will be lazy-evaluated, or batch-filled via maintenance/initEditCount.php