Merge "Change a.external padding from 15px to 13px to match Vector"

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