Fix parameter name

See comment in https://gerrit.wikimedia.org/r/#/c/318535/5/includes/EditPage.php

Change-Id: I4c3da3872997c20a756405099110c8acc37fa188

diff --git a/includes/EditPage.php b/includes/EditPage.php
index afa0574..39d9bd6 100644 (file)
--- 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'] ) ) {