diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2024-02-08 10:30:18 -0500 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2024-02-14 08:18:33 -0500 |
| commit | 59c0aa213423df4428515eedb9d67433e38f9427 (patch) | |
| tree | 8b1be48767738aa8000d74139e5f6330db7730b2 /includes/preferences | |
| parent | 6e1bca9cf447a57c43262d31509bc967d6e96289 (diff) | |
| download | mediawikicore-59c0aa213423df4428515eedb9d67433e38f9427.tar.gz mediawikicore-59c0aa213423df4428515eedb9d67433e38f9427.zip | |
Namespace HTMLForm and friends
Bug: T353458
Change-Id: I09e66c3223018ec47e0549ee7f6a590b676f4eef
Diffstat (limited to 'includes/preferences')
| -rw-r--r-- | includes/preferences/DefaultPreferencesFactory.php | 7 | ||||
| -rw-r--r-- | includes/preferences/Hook/PreferencesFormPreSaveHook.php | 2 | ||||
| -rw-r--r-- | includes/preferences/PreferencesFactory.php | 2 |
3 files changed, 6 insertions, 5 deletions
diff --git a/includes/preferences/DefaultPreferencesFactory.php b/includes/preferences/DefaultPreferencesFactory.php index b5d7107072cc..615a988e1be8 100644 --- a/includes/preferences/DefaultPreferencesFactory.php +++ b/includes/preferences/DefaultPreferencesFactory.php @@ -20,8 +20,6 @@ namespace MediaWiki\Preferences; -use HTMLForm; -use HTMLFormField; use ILanguageConverter; use Language; use LanguageCode; @@ -34,6 +32,9 @@ use MediaWiki\Context\IContextSource; use MediaWiki\HookContainer\HookContainer; use MediaWiki\HookContainer\HookRunner; use MediaWiki\Html\Html; +use MediaWiki\HTMLForm\HTMLForm; +use MediaWiki\HTMLForm\HTMLFormField; +use MediaWiki\HTMLForm\HTMLNestedFilterable; use MediaWiki\Languages\LanguageConverterFactory; use MediaWiki\Languages\LanguageNameUtils; use MediaWiki\Linker\LinkRenderer; @@ -377,7 +378,7 @@ class DefaultPreferencesFactory implements PreferencesFactory { public static function getPreferenceForField( $name, HTMLFormField $field, array $userOptions ) { $val = $userOptions[$name] ?? null; - if ( $field instanceof \HTMLNestedFilterable ) { + if ( $field instanceof HTMLNestedFilterable ) { $val = []; $prefix = $field->mParams['prefix'] ?? $name; // Fetch all possible preference keys of the given field on this wiki. diff --git a/includes/preferences/Hook/PreferencesFormPreSaveHook.php b/includes/preferences/Hook/PreferencesFormPreSaveHook.php index 8b7e5853ae21..2aec90824ef8 100644 --- a/includes/preferences/Hook/PreferencesFormPreSaveHook.php +++ b/includes/preferences/Hook/PreferencesFormPreSaveHook.php @@ -2,7 +2,7 @@ namespace MediaWiki\Preferences\Hook; -use HTMLForm; +use MediaWiki\HTMLForm\HTMLForm; use MediaWiki\User\User; /** diff --git a/includes/preferences/PreferencesFactory.php b/includes/preferences/PreferencesFactory.php index 75ea2070e884..8acedb68cecf 100644 --- a/includes/preferences/PreferencesFactory.php +++ b/includes/preferences/PreferencesFactory.php @@ -20,8 +20,8 @@ namespace MediaWiki\Preferences; -use HTMLForm; use MediaWiki\Context\IContextSource; +use MediaWiki\HTMLForm\HTMLForm; use MediaWiki\User\User; use PreferencesFormOOUI; |