diff options
Diffstat (limited to 'includes/page/WikiPage.php')
-rw-r--r-- | includes/page/WikiPage.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/page/WikiPage.php b/includes/page/WikiPage.php index 10ec8e775755..6f41807a9f36 100644 --- a/includes/page/WikiPage.php +++ b/includes/page/WikiPage.php @@ -50,6 +50,7 @@ use MediaWiki\Title\TitleArray; use MediaWiki\User\ActorMigration; use MediaWiki\User\UserIdentity; use MediaWiki\User\UserIdentityValue; +use MediaWiki\WikiMap\WikiMap; use Wikimedia\Assert\Assert; use Wikimedia\Assert\PreconditionException; use Wikimedia\NonSerializable\NonSerializableTrait; |