X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=includes%2FDefaultSettings.php;h=89b77d28b3505bfd7a3918e5ca5ad0218b3b0b3d;hp=2dad6c537be6477b8679cf2efc76eb4a82ba7251;hb=52262ecf919e6aeb3565d816d6911368beed199f;hpb=362a962c8db517f435843af45f0747ead6878252

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 2dad6c537b..89b77d28b3 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -71,7 +71,7 @@ $wgConfigRegistry = [
  * MediaWiki version number
  * @since 1.2
  */
-$wgVersion = '1.31.0-rc.2';
+$wgVersion = '1.31.1';
 
 /**
  * Name of the site. It must be changed in LocalSettings.php
@@ -2032,6 +2032,8 @@ $wgDBerrorLogTZ = false;
  * Even correct usage may cause failures with Unicode supplementary
  * characters (those not in the Basic Multilingual Plane) unless MySQL
  * has enhanced their Unicode support.
+ *
+ * @deprecated since 1.31
  */
 $wgDBmysql5 = false;