Merge "Add missing include in MediaWikiServices"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Apr 2016 18:39:52 +0000 (18:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Apr 2016 18:39:52 +0000 (18:39 +0000)
commit984c2af3172fc24258f11268ea7601888fdc7341
tree1912dc52bccb08635e1d459395f10f233d9b470e
parentf5fc9f21ead83bbc50544772281996f37f64d17c
parent35880ed8c8a71a27f783232605a3887f65385622
Merge "Add missing include in MediaWikiServices"
includes/MediaWikiServices.php