diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2024-06-14 23:24:11 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-06-14 21:38:40 +0000 |
| commit | 7ba9818e077c37951626c48280fc8b7454f117fb (patch) | |
| tree | 07b3f51c1eac156dab4f49ec1a9f33a43a2e6770 /includes/api/ApiMain.php | |
| parent | 4d5d9a6dae1fd908c387dbb515870f8cc718da12 (diff) | |
| download | mediawikicore-7ba9818e077c37951626c48280fc8b7454f117fb.tar.gz mediawikicore-7ba9818e077c37951626c48280fc8b7454f117fb.zip | |
api: Use namespaced classes
Changes to the use statements done automatically via script
Change-Id: Icc5b59f9ef6319d1fb785fcda17f43c94f94cc38
Diffstat (limited to 'includes/api/ApiMain.php')
| -rw-r--r-- | includes/api/ApiMain.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/api/ApiMain.php b/includes/api/ApiMain.php index 199fe332de54..f28963e108e4 100644 --- a/includes/api/ApiMain.php +++ b/includes/api/ApiMain.php @@ -30,6 +30,7 @@ use MediaWiki\Html\Html; use MediaWiki\Logger\LoggerFactory; use MediaWiki\MainConfigNames; use MediaWiki\MediaWikiServices; +use MediaWiki\Message\Message; use MediaWiki\ParamValidator\TypeDef\UserDef; use MediaWiki\Profiler\ProfilingContext; use MediaWiki\Request\FauxRequest; |