Merge "Set Agora font stack to mw-ui-container in Vector"

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

-- Adding ipb_deleted field for hiding usernames
ALTER TABLE /*$wgDBprefix*/ipblocks
  ADD ipb_deleted bool NOT NULL default 0;