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

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

ALTER TABLE /*$wgDBprefix*/page
  ADD page_links_updated varbinary(14) NULL default NULL;