Deprecate $wgDBmysql5

Bug: T196185
Change-Id: Iea74b5dd1fc49c911dcc0070604f05100e56ce0d

diff --git a/RELEASE-NOTES-1.31 b/RELEASE-NOTES-1.31
index bf038a7..fbe69eb 100644 (file)
--- a/RELEASE-NOTES-1.31
+++ b/RELEASE-NOTES-1.31
@@ -43,6 +43,8 @@ production.
   framework that it enables. Some extensions mistakenly used this to check
   whether any AJAX functionality at all should be enabled, further making this
   problematic to retain.
   framework that it enables. Some extensions mistakenly used this to check
   whether any AJAX functionality at all should be enabled, further making this
   problematic to retain.

+* $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 fa53703..949e50a 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2059,6 +2059,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;