Merge "Update jakub-onderka/php-parallel-lint to 0.9.2"
[lhc/web/wiklou.git] / maintenance / archives / patch-rev_len.sql
1 ALTER TABLE /*$wgDBprefix*/revision
2 ADD rev_len INT UNSIGNED;
3