Merge "Fix PHP Fatal error: Call to undefined method Title::getPrefixedTitle()."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 2 Feb 2014 19:36:47 +0000 (19:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 2 Feb 2014 19:36:47 +0000 (19:36 +0000)
commitff5fcafe60ea24f28a7694d9c75a29cd61297409
tree8a50171a98ef456e6c7dc420d55158e8b3a2d039
parentd8bc3418437d8c1c29c4a477e294b689857e3f5e
parentcd7b045d1aaee69d1ccaa71baf2839f577b82e21
Merge "Fix PHP Fatal error: Call to undefined method Title::getPrefixedTitle()."