diff options
Diffstat (limited to 'includes/editpage/EditPage.php')
-rw-r--r-- | includes/editpage/EditPage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/editpage/EditPage.php b/includes/editpage/EditPage.php index 3b7bab903b1f..c4c910f90902 100644 --- a/includes/editpage/EditPage.php +++ b/includes/editpage/EditPage.php @@ -74,6 +74,7 @@ use MediaWiki\Page\WikiPageFactory; use MediaWiki\Permissions\Authority; use MediaWiki\Permissions\PermissionManager; use MediaWiki\Permissions\RestrictionStore; +use MediaWiki\Request\WebRequest; use MediaWiki\Revision\RevisionRecord; use MediaWiki\Revision\RevisionStore; use MediaWiki\Revision\RevisionStoreRecord; @@ -113,7 +114,6 @@ use User; use UserBlockedError; use WatchAction; use WatchedItemStoreInterface; -use WebRequest; use Wikimedia\Assert\Assert; use Wikimedia\Message\MessageValue; use Wikimedia\ParamValidator\TypeDef\ExpiryDef; |