Merge "Make update.php file executable"

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

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