diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2023-09-19 13:13:45 +0100 |
|---|---|---|
| committer | DannyS712 <dannys712.wiki@gmail.com> | 2023-09-19 19:18:16 +0000 |
| commit | 1d0b7ae1e26a6e925fa16ae712e291813085cb8a (patch) | |
| tree | dcf2ddbe86cb77988faa56e3f0896b853cc0f4ff /maintenance/edit.php | |
| parent | f971382d3d8eb4c222dfb823b286958fe5abc806 (diff) | |
| download | mediawikicore-1d0b7ae1e26a6e925fa16ae712e291813085cb8a.tar.gz mediawikicore-1d0b7ae1e26a6e925fa16ae712e291813085cb8a.zip | |
Namespace User under \MediaWiki\User
Bug: T166010
Change-Id: I7257302b485588af31384d4f7fc8e30551f161f1
Diffstat (limited to 'maintenance/edit.php')
| -rw-r--r-- | maintenance/edit.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/edit.php b/maintenance/edit.php index 02ebcd961920..ae12a1b6653d 100644 --- a/maintenance/edit.php +++ b/maintenance/edit.php @@ -26,6 +26,7 @@ use MediaWiki\Language\RawMessage; use MediaWiki\Revision\SlotRecord; use MediaWiki\StubObject\StubGlobalUser; use MediaWiki\Title\Title; +use MediaWiki\User\User; require_once __DIR__ . '/Maintenance.php'; |