Merge "RCFilters UI: Use pixel instead of em for distancing the highlight dots"

[lhc/web/wiklou.git] / maintenance / archives / patch-ar_len.sql

ALTER TABLE /*$wgDBprefix*/archive
  ADD ar_len INT UNSIGNED;