diff options
| author | Reedy <reedy@wikimedia.org> | 2020-12-18 01:53:38 +0000 |
|---|---|---|
| committer | Reedy <reedy@wikimedia.org> | 2020-12-18 01:53:38 +0000 |
| commit | ef13e11da4bcab62a8cc6f5459cd094e6881f326 (patch) | |
| tree | 661dc07b87d8ff9fce3dea258634527e81d836cb | |
| parent | 52a186d6083d2cae195cf5730de10cbd8b663026 (diff) | |
Prep 1.31.121.31.12
Change-Id: Ic97dc3ed185645405d6000c49121b9da2ee65016
| -rw-r--r-- | RELEASE-NOTES-1.31 | 3 | ||||
| -rw-r--r-- | includes/Defines.php | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31 index 820837f8b37c..09b039c7d645 100644 --- a/RELEASE-NOTES-1.31 +++ b/RELEASE-NOTES-1.31 @@ -1,8 +1,9 @@ == MediaWiki 1.31.12 == -THIS IS NOT A RELEASE YET +This is a maintenance release of the MediaWiki 1.31 branch. === Changes since MediaWiki 1.31.11 === +* Fixed issues relating to User::isRegistered() not existing in 1.31. == MediaWiki 1.31.11 == diff --git a/includes/Defines.php b/includes/Defines.php index fa1087bca33e..0f59382621ef 100644 --- a/includes/Defines.php +++ b/includes/Defines.php @@ -37,7 +37,7 @@ use Wikimedia\Rdbms\IDatabase; * * @since 1.31.7 */ -define( 'MW_VERSION', '1.31.11' ); +define( 'MW_VERSION', '1.31.12' ); # Obsolete aliases /** |