Merge "Improve page display title handling for category pages"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 12 Sep 2018 07:25:46 +0000 (07:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 12 Sep 2018 07:25:46 +0000 (07:25 +0000)
commit0dafdebb2b466a1a7d192acdf04402ff7d669697
tree18efed09ba0f1e8f3f3d659260eb9a4b07478d21
parent0b380d0f6e7e70d25fcc7cb751535ed686afb50c
parentd89704bc4cef71af0a4fcebab2c828caf9186c7b
Merge "Improve page display title handling for category pages"
RELEASE-NOTES-1.32
includes/EditPage.php
includes/page/Article.php