Merge "mediawiki.js: Document that default message format is 'text'"

[mediawiki.git] / maintenance / archives / patch-rev_len.sql

ALTER TABLE /*$wgDBprefix*/revision
  ADD rev_len INT UNSIGNED;