Module jquery.tabIndex is deprecated

[Krinkle]

The jquery.tabIndex module existed to help compute a low or high tab index on focusable elements on a page. In most cases this code was redundant. Lines of code involving firstTabIndex() or lastTabIndex() are often best removed entirely. The module is deprecated in MediaWiki 1.34.

// Simply remove
$("#searchInput").attr("tabindex",$(document).lastTabIndex()+1);

See also https://www.mediawiki.org/wiki/ResourceLoader/Migration_guide_(users)#jquery.tabIndex

[dolfinus]

Fixed in ce22157.