Merge "Avoid expensive array_shift where possible"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 21 Dec 2018 23:33:07 +0000 (23:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 21 Dec 2018 23:33:07 +0000 (23:33 +0000)
commit8c9de54eef541b4e5997f0d40f1619ae84b0b3a4
tree8582618601ae8b427369895714c12812be19653c
parentb4999a404c5a8084ece8c2599c183d8bfa99ff7a
parentfa7e5bd90199576bb7bce9b57569d3382f0a9993
Merge "Avoid expensive array_shift where possible"
includes/Title.php