diff options
author | Martin Urbanec <martin.urbanec@wikimedia.cz> | 2023-11-29 11:21:43 +0100 |
---|---|---|
committer | Martin Urbanec <martin.urbanec@wikimedia.cz> | 2023-11-29 13:27:13 +0100 |
commit | 29af4dd074ecc71c67bb9e530d82daddcf45c724 (patch) | |
tree | 980998f7874dda640aefa1ffe7b15e0699abb867 /includes/ResourceLoader/UserOptionsModule.php | |
parent | 474925f009bce349941fc3e6c5e5baeca785df02 (diff) | |
download | mediawikicore-29af4dd074ecc71c67bb9e530d82daddcf45c724.tar.gz mediawikicore-29af4dd074ecc71c67bb9e530d82daddcf45c724.zip |
Move user options related classes into its own namespace
There are a couple of user options related classes already,
and the T321527 work on dynamic defaults is going to add
even more. Let's move them into a separate namespace
to make core a bit more organized.
Old name is kept as an alias for compatibility purposes.
Bug: T321527
Bug: T352284
Change-Id: I9822eb1553870b876d0b8a927e4e86c27d83bd52
Diffstat (limited to 'includes/ResourceLoader/UserOptionsModule.php')
-rw-r--r-- | includes/ResourceLoader/UserOptionsModule.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/ResourceLoader/UserOptionsModule.php b/includes/ResourceLoader/UserOptionsModule.php index 4c3aebe968c7..ee793e59d9a7 100644 --- a/includes/ResourceLoader/UserOptionsModule.php +++ b/includes/ResourceLoader/UserOptionsModule.php @@ -3,7 +3,7 @@ namespace MediaWiki\ResourceLoader; use MediaWiki\MediaWikiServices; -use MediaWiki\User\UserOptionsLookup; +use MediaWiki\User\Options\UserOptionsLookup; /** * This program is free software; you can redistribute it and/or modify |