diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-01-11 19:06:07 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-01-11 19:06:07 +0000 |
| commit | a58285fd06c8113c45377c655dd43cef6337e815 (patch) | |
| tree | dfe31d3d12652352fe44890b4811eda0728faefb /maintenance/archives/patch-user_editcount.sql | |
| parent | 20194986f6638233732ba1fc3e838f117d3cc9ea (diff) | |
Aktualisierung auf MediaWiki 1.9.0
Diffstat (limited to 'maintenance/archives/patch-user_editcount.sql')
| -rw-r--r-- | maintenance/archives/patch-user_editcount.sql | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintenance/archives/patch-user_editcount.sql b/maintenance/archives/patch-user_editcount.sql new file mode 100644 index 00000000..cdde36dc --- /dev/null +++ b/maintenance/archives/patch-user_editcount.sql @@ -0,0 +1,5 @@ +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 |