Merge "Soft deprecate Title::getUserCaseDBKey()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 13 Dec 2018 21:22:07 +0000 (21:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 13 Dec 2018 21:22:07 +0000 (21:22 +0000)
RELEASE-NOTES-1.33
includes/Title.php

index f68875b..1ab9d4e 100644 (file)
@@ -182,6 +182,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 ===
index 972d5b1..55c5cd9 100644 (file)
@@ -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
         */