Merge "Improve sorting on SpecialWanted*-Pages"

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

-- For setting a password expiration date for users
ALTER TABLE /*$wgDBprefix*/user
  ADD COLUMN user_password_expires varbinary(14) DEFAULT NULL;