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)
1  2 
RELEASE-NOTES-1.32
includes/EditPage.php
includes/page/Article.php

Simple merge
Simple merge
Simple merge