]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - maintenance/archives/patch-user_editcount.sql
MediaWiki 1.11.0
[autoinstalls/mediawiki.git] / 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