Current File : /home/jvzmxxx/wiki1/maintenance/archives/patch-rev_len.sql

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