diff options
Diffstat (limited to 'includes/page/ProtectionForm.php')
-rw-r--r-- | includes/page/ProtectionForm.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/page/ProtectionForm.php b/includes/page/ProtectionForm.php index ca140566514b..400835fd7447 100644 --- a/includes/page/ProtectionForm.php +++ b/includes/page/ProtectionForm.php @@ -41,10 +41,10 @@ use MediaWiki\Permissions\Authority; use MediaWiki\Permissions\PermissionManager; use MediaWiki\Permissions\PermissionStatus; use MediaWiki\Permissions\RestrictionStore; +use MediaWiki\Request\WebRequest; use MediaWiki\Title\Title; use MediaWiki\Watchlist\WatchlistManager; use TitleFormatter; -use WebRequest; use Xml; use XmlSelect; |