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)
includes/MediaWikiServices.php

index 612d09e..f0fe6e9 100644 (file)
@@ -2,6 +2,7 @@
 namespace MediaWiki;
 
 use ConfigFactory;
+use EventRelayerGroup;
 use GlobalVarConfig;
 use Config;
 use Hooks;