EditPage: Give edit summary field's 'tabindex' as a number
authorBartosz Dziewoński <matma.rex@gmail.com>
Mon, 5 Jun 2017 22:30:49 +0000 (00:30 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Mon, 5 Jun 2017 22:30:49 +0000 (00:30 +0200)
commitdd362c923d92bf334aa230e3cf393ada1ff88864
treee88fcdee4fa59d1b251aa9fa8ee87d39112a5add
parente2c5a04ba6ba6e233102292160d6837340cf37bc
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
includes/EditPage.php