diff options
author | Umherirrender <umherirrender_de.wp@web.de> | 2024-06-16 20:18:23 +0200 |
---|---|---|
committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-06-16 20:18:23 +0200 |
commit | 9879723ef3f632e9a4fc37e4c28e7020ed538a8d (patch) | |
tree | a5763523a5da09b6e9531f21003f90c5ca839e56 /rest.php | |
parent | 765024564128e7a43aa803cf9eef445a1029d27e (diff) | |
download | mediawikicore-9879723ef3f632e9a4fc37e4c28e7020ed538a8d.tar.gz mediawikicore-9879723ef3f632e9a4fc37e4c28e7020ed538a8d.zip |
Use namespaced classes (1)
Changes to the use statements done automatically via script
Addition of missing use statement done manually
Change-Id: Ic4d4dd61de5ab896fb6173eb579c81f164a1e4a3
Diffstat (limited to 'rest.php')
-rw-r--r-- | rest.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -21,6 +21,7 @@ * @file */ +use MediaWiki\Context\RequestContext; use MediaWiki\EntryPointEnvironment; use MediaWiki\MediaWikiServices; use MediaWiki\Rest\EntryPoint; |