diff options
Diffstat (limited to 'includes/api/ApiUndelete.php')
| -rw-r--r-- | includes/api/ApiUndelete.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/api/ApiUndelete.php b/includes/api/ApiUndelete.php index 57d07eb90ada..23c3464ea87b 100644 --- a/includes/api/ApiUndelete.php +++ b/includes/api/ApiUndelete.php @@ -25,6 +25,7 @@ use MediaWiki\Page\UndeletePage; use MediaWiki\Page\UndeletePageFactory; use MediaWiki\Page\WikiPageFactory; use MediaWiki\Permissions\Authority; +use MediaWiki\Title\Title; use MediaWiki\User\UserOptionsLookup; use MediaWiki\Watchlist\WatchlistManager; use Wikimedia\ParamValidator\ParamValidator; |