diff options
Diffstat (limited to 'includes/Output/OutputPage.php')
-rw-r--r-- | includes/Output/OutputPage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Output/OutputPage.php b/includes/Output/OutputPage.php index b3bab8ecea17..544353cde024 100644 --- a/includes/Output/OutputPage.php +++ b/includes/Output/OutputPage.php @@ -49,6 +49,7 @@ use MediaWiki\Message\Message; use MediaWiki\Page\PageRecord; use MediaWiki\Page\PageReference; use MediaWiki\Parser\Parser; +use MediaWiki\Parser\ParserOptions; use MediaWiki\Parser\ParserOutput; use MediaWiki\Parser\ParserOutputFlags; use MediaWiki\Parser\Sanitizer; @@ -66,7 +67,6 @@ use MediaWiki\Title\TitleValue; use MediaWiki\Utils\MWTimestamp; use OOUI\Element; use OOUI\Theme; -use ParserOptions; use RuntimeException; use Skin; use Wikimedia\Assert\Assert; |