Merge "Add missing imports to MediaWikiServices"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 27 Apr 2016 16:00:13 +0000 (16:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Apr 2016 16:00:13 +0000 (16:00 +0000)
commit7f8ca2823e22d6f6c58a4a54b920b39d34f34cc7
tree126e82eae9b864f073cd6c55b22de9221705b144
parent1588e2f279e08202132c2c6b4038ef47b7ff7905
parentc8f1ec4497dd7418a44388360efc316adb7a16e1
Merge "Add missing imports to MediaWikiServices"
includes/MediaWikiServices.php