Merge "mediawiki.action.edit.preview: Use .textSelection( 'getContents' )"

[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;