Merge "DifferenceEngine: use a fake title when there's no real title"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 5 Sep 2018 12:18:34 +0000 (12:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 5 Sep 2018 12:18:34 +0000 (12:18 +0000)
commita5b521730095f56aef4916f73e39213f1d9b1d16
tree4325d16450b350a638aead008daf38b6b3036cee
parent5eff0d6021aa2dc77987ea70ba184446cae08b50
parent4a09b9ed528477517b11c22bdfe1eb27d3d06c9e
Merge "DifferenceEngine: use a fake title when there's no real title"
includes/diff/DifferenceEngine.php