[Tool] BetterTopNav: Search bar and top navigation tweaks, helpful for research-intensive editing. Note: Slightly buggy at the moment due to MediaWiki update.
Gadget-bettertopnav
MediaWiki page
[Tool] BetterTopNav: Search bar and top navigation tweaks, helpful for research-intensive editing. Note: Slightly buggy at the moment due to MediaWiki update.