Prepare 1.31.4

[lhc/web/wiklou.git] / includes / DefaultSettings.php

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 0fb0173..8c20bd5 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -71,7 +71,7 @@ $wgConfigRegistry = [
  * MediaWiki version number
  * @since 1.2
  */
-$wgVersion = '1.31.3';
+$wgVersion = '1.31.4';
 
 /**
  * Name of the site. It must be changed in LocalSettings.php
@@ -4472,7 +4472,8 @@ $wgCentralIdLookupProvider = 'local';
  * Statements:
  *     - MinimalPasswordLength - minimum length a user can set
  *     - MinimumPasswordLengthToLogin - passwords shorter than this will
- *             not be allowed to login, regardless if it is correct.
+ *             not be allowed to login, or offered a chance to reset their password
+ *             as part of the login workflow, regardless if it is correct.
  *     - MaximalPasswordLength - maximum length password a user is allowed
  *             to attempt. Prevents DoS attacks with pbkdf2.
  *     - PasswordCannotMatchUsername - Password cannot match username to