diff options
Diffstat (limited to 'includes/Permissions/RestrictionStore.php')
-rw-r--r-- | includes/Permissions/RestrictionStore.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Permissions/RestrictionStore.php b/includes/Permissions/RestrictionStore.php index 928dccf12c2e..5997f3bce7fb 100644 --- a/includes/Permissions/RestrictionStore.php +++ b/includes/Permissions/RestrictionStore.php @@ -15,8 +15,8 @@ use MediaWiki\MainConfigNames; use MediaWiki\Page\PageIdentity; use MediaWiki\Page\PageIdentityValue; use MediaWiki\Page\PageStore; +use MediaWiki\Title\Title; use stdClass; -use Title; use TitleValue; use WANObjectCache; use Wikimedia\Rdbms\Database; |