From 83b27e2ac713d54d7bae340e593878f26d8ca5f4 Mon Sep 17 00:00:00 2001 From: WMDE-Fisch Date: Thu, 10 Nov 2016 10:31:43 +0100 Subject: [PATCH] Fix parameter name See comment in https://gerrit.wikimedia.org/r/#/c/318535/5/includes/EditPage.php Change-Id: I4c3da3872997c20a756405099110c8acc37fa188 --- includes/EditPage.php | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/includes/EditPage.php b/includes/EditPage.php index afa0574bce..39d9bd6c9a 100644 --- a/includes/EditPage.php +++ b/includes/EditPage.php @@ -4412,16 +4412,16 @@ HTML /** * @param string $name * @param mixed[] $customAttribs - * @param User $wgUser + * @param User $user * @return mixed[] * @since 1.29 */ - protected function buildTextboxAttribs( $name, array $customAttribs, User $wgUser ) { + protected function buildTextboxAttribs( $name, array $customAttribs, User $user ) { $attribs = $customAttribs + [ 'accesskey' => ',', 'id' => $name, - 'cols' => $wgUser->getIntOption( 'cols' ), - 'rows' => $wgUser->getIntOption( 'rows' ), + 'cols' => $user->getIntOption( 'cols' ), + 'rows' => $user->getIntOption( 'rows' ), // Avoid PHP notices when appending preferences // (appending allows customAttribs['style'] to still work). 'style' => '' @@ -4432,7 +4432,7 @@ HTML // * mw-editfont-monospace // * mw-editfont-sans-serif // * mw-editfont-serif - $class = 'mw-editfont-' . $wgUser->getOption( 'editfont' ); + $class = 'mw-editfont-' . $user->getOption( 'editfont' ); if ( isset( $attribs['class'] ) ) { if ( is_string( $attribs['class'] ) ) { -- 2.20.1