EditPage: Give edit summary field's 'tabindex' as a number

There's a bug in OOjs UI that causes the string value to be ignored
after the input is infused (e.g. by the mediawiki.action.edit script).

Bug: T167070
Change-Id: Ibeefc8327b462552c67459aac2c75cca9b1f4739

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 20250d5..f79a286 100644 (file)
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -3059,7 +3059,7 @@ class EditPage {
                        'id' => 'wpSummary',
                        'name' => 'wpSummary',
                        'maxlength' => '200',
-                       'tabindex' => '1',
+                       'tabindex' => 1,
                        'size' => 60,
                        'spellcheck' => 'true',
                ] + Linker::tooltipAndAccesskeyAttribs( 'summary' );