Merge "installer: Don't allow setting $wgDBmysql5" into REL1_31

[lhc/web/wiklou.git] / includes / MediaWikiServices.php

diff --git a/includes/MediaWikiServices.php b/includes/MediaWikiServices.php
index 8bb0a40..ac98683 100644 (file)
--- a/includes/MediaWikiServices.php
+++ b/includes/MediaWikiServices.php
@@ -1,6 +1,7 @@
 <?php
 namespace MediaWiki;
 
+use ActorMigration;
 use CommentStore;
 use Config;
 use ConfigFactory;