Soft deprecate Title::getUserCaseDBKey()

Identifiers of groups are encouraged to be in lowercases, so we'll
soft deprecate this rarely-used method now and remove it later.

Bug: T202094
Change-Id: Idee1b7f491dbe1114b4489fda3c16be70175f2d8

diff --git a/RELEASE-NOTES-1.33 b/RELEASE-NOTES-1.33
index f6c819d..7ad78ef 100644 (file)
--- a/RELEASE-NOTES-1.33
+++ b/RELEASE-NOTES-1.33
@@ -121,6 +121,8 @@ because of Phabricator reports.
   This will help identify the issue if you added it to $wgAuthManagerConfig.
 * wfSplitWikiId() is now deprecated. Cache key generation should have the wiki
   domain ID as a key component and use makeGlobalKey().
+* (T202094) Title::getUserCaseDBKey() is deprecated; instead, please use
+  Title::getDBKey(), which doesn't vary case.
 * …
 
 === Other changes in 1.33 ===

diff --git a/includes/Title.php b/includes/Title.php
index 038e8b1..f480c30 100644 (file)
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -954,6 +954,7 @@ class Title implements LinkTarget {
 
        /**
         * Get the DB key with the initial letter case as specified by the user
+        * @deprecated since 1.33; please use Title::getDBKey() instead
         *
         * @return string DB key
         */