Merge "Whitelist the <wbr> element."
[mediawiki.git] / maintenance / archives / patch-user_editcount.sql
blobcdde36dc33fbe9775c58de29129dd40d39a45364
1 ALTER TABLE /*$wgDBprefix*/user
2   ADD COLUMN user_editcount int;
4 -- Don't initialize values immediately... or should we?
5 -- They will be lazy-evaluated, or batch-filled via maintenance/initEditCount.php