diff options
| author | Petr Pchelko <ppchelko@wikimedia.org> | 2021-03-25 08:14:44 -0600 |
|---|---|---|
| committer | Petr Pchelko <ppchelko@wikimedia.org> | 2021-06-09 07:53:52 -0700 |
| commit | 6a8a786599d1ddbe8def2845b9c948947690fa15 (patch) | |
| tree | 1dbe810c80f20a9159f3c3ce28fb110d88c4354e /includes/editpage/TextboxBuilder.php | |
| parent | bdecf516b9fe6d5fd4909969b511e923dd5f3e29 (diff) | |
| download | mediawikicore-6a8a786599d1ddbe8def2845b9c948947690fa15.tar.gz mediawikicore-6a8a786599d1ddbe8def2845b9c948947690fa15.zip | |
Replace easy usages of User for UserIdentity/Authority
Change-Id: Id176ee0fab64707020ac6c47a087ef00f8bed4e3
Diffstat (limited to 'includes/editpage/TextboxBuilder.php')
| -rw-r--r-- | includes/editpage/TextboxBuilder.php | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/includes/editpage/TextboxBuilder.php b/includes/editpage/TextboxBuilder.php index 343e904e68a1..fabc05e6a197 100644 --- a/includes/editpage/TextboxBuilder.php +++ b/includes/editpage/TextboxBuilder.php @@ -25,9 +25,9 @@ namespace MediaWiki\EditPage; use MediaWiki\MediaWikiServices; +use MediaWiki\User\UserIdentity; use Sanitizer; use Title; -use User; /** * Helps EditPage build textboxes @@ -97,11 +97,11 @@ class TextboxBuilder { /** * @param string $name * @param mixed[] $customAttribs - * @param User $user + * @param UserIdentity $user * @param Title $title * @return mixed[] */ - public function buildTextboxAttribs( $name, array $customAttribs, User $user, Title $title ) { + public function buildTextboxAttribs( $name, array $customAttribs, UserIdentity $user, Title $title ) { $attribs = $customAttribs + [ 'accesskey' => ',', 'id' => $name, @@ -116,7 +116,8 @@ class TextboxBuilder { // * mw-editfont-monospace // * mw-editfont-sans-serif // * mw-editfont-serif - $class = 'mw-editfont-' . $user->getOption( 'editfont' ); + $userOptionsLookup = MediaWikiServices::getInstance()->getUserOptionsLookup(); + $class = 'mw-editfont-' . $userOptionsLookup->getOption( $user, 'editfont' ); if ( isset( $attribs['class'] ) ) { if ( is_string( $attribs['class'] ) ) { |