Merge branch 'master' of ssh://gerrit.wikimedia.org:29418/mediawiki/core into Wikidata

[lhc/web/wiklou.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;