diff options
author | Amir Sarabadani <ladsgroup@gmail.com> | 2023-02-23 21:44:38 +0100 |
---|---|---|
committer | Amir Sarabadani <ladsgroup@gmail.com> | 2023-02-27 05:19:46 +0100 |
commit | 4bb28865621515cf2d3aa28726c110dd55dd1966 (patch) | |
tree | 203d94c085fda7cf80fc23452d9adbef31884c99 /includes/page/WikiPage.php | |
parent | b9e8fbc42087f38ede11ac79987a50523c3e8cec (diff) | |
download | mediawikicore-4bb28865621515cf2d3aa28726c110dd55dd1966.tar.gz mediawikicore-4bb28865621515cf2d3aa28726c110dd55dd1966.zip |
Reorg: Migrate WikiMap to WikiMap/ out of includes
And WikiReference
Bug: T321882
Change-Id: I60cf4b9ef02b9d58118caa39172677ddfe03d787
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; |