Fix API-related 1.25 release notes

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

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