Merge "Make update.php file executable"

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