Deprecate $wgDBmysql5

Bug: T196185
Change-Id: Iea74b5dd1fc49c911dcc0070604f05100e56ce0d
(cherry picked from commit 7271d50bab79231efcedeabf5fbe4db0aa13fa4d)

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index 77c3f58..d369ac6 100644 (file)
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -52,6 +52,8 @@ production.
   whether any AJAX functionality at all should be enabled, further making this
   problematic to retain.
 * Add default edit rate limit of 90 edits/minute for all users.
   whether any AJAX functionality at all should be enabled, further making this
   problematic to retain.
 * Add default edit rate limit of 90 edits/minute for all users.

+* $wgDBmysql5 is now deprecated, and will be removed in a future version. It
+  has been marked as experimental ever since it was introduced.

 
 === New features in 1.31 ===
 * (T76554) User sub-pages named ….json are now protected in the same way that
 
 === New features in 1.31 ===
 * (T76554) User sub-pages named ….json are now protected in the same way that

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 2dad6c5..811ac9b 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.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.
  * 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;
 
  */
 $wgDBmysql5 = false;