wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-28 00:01:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix tabbing"

Browse source
This commit is contained in:
jenkins-bot 2020-09-10 15:03:19 +00:00 committed by Gerrit Code Review
parent 8ee4c32a46 1bbcce88b7
commit e1898fcfb3
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
includes/SpecialInterwiki.php
View file

@ -107,6 +107,7 @@ class SpecialInterwiki extends SpecialPage {
'type' => 'text',
'label-message' => 'interwiki-prefix-label',
'name' => 'prefix',
'autofocus' => true,
],
'local' => [
@ -130,7 +131,6 @@ class SpecialInterwiki extends SpecialPage {
'maxlength' => 200,
'name' => 'wpInterwikiURL',
'size' => 60,
'tabindex' => 1,
],
'reason' => [
@ -140,7 +140,6 @@ class SpecialInterwiki extends SpecialPage {
'maxlength' => 200,
'name' => 'wpInterwikiReason',
'size' => 60,
'tabindex' => 1,
],
];