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)
commitebc4d535f196b1d78b6b53cb95cda35d9cb6295e
tree073897780eb7f7a500fa782a0482e0f1eeaea5a1
parentee7e922a24bb80c79f744eaebd5da56372894d60
parent5e921a6ce408692dbbb40db3538cfeee6c3b18a4
Merge "Soft deprecate Title::getUserCaseDBKey()"
RELEASE-NOTES-1.33
includes/Title.php