wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-23 18:28:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced MediaWiki\Language\RawMessage

Browse source 
Bug: T321681
Change-Id: I5d32b7c419afdf10585cfb68bd558de1eebc9a18
This commit is contained in:
Umherirrender 2023-08-20 02:07:00 +02:00
parent d5cc6fc32a
commit 12856f5988
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/ApiVisualEditor.php
View file

@ -26,6 +26,7 @@ use MediaWiki\EditPage\EditPage;
use MediaWiki\EditPage\IntroMessageBuilder;
use MediaWiki\EditPage\PreloadedContentBuilder;
use MediaWiki\EditPage\TextboxBuilder;
use MediaWiki\Language\RawMessage;
use MediaWiki\Logger\LoggerFactory;
use MediaWiki\MediaWikiServices;
use MediaWiki\Page\PageReference;
@ -37,7 +38,6 @@ use MediaWiki\User\TempUser\TempUserCreator;
use MediaWiki\User\UserOptionsLookup;
use MediaWiki\Watchlist\WatchlistManager;
use MessageLocalizer;
use RawMessage;
use RequestContext;
use Wikimedia\ParamValidator\ParamValidator;
use WikitextContent;