userOptions: make --old a multi option

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

ALTER TABLE /*_*/job
  MODIFY job_timestamp BINARY(14);