MediaWiki:Gadget-searchbox

Searchbox: adds a few buttons with the functionalities "search and replace", "change upper/low case", "sort in alphabetical order", and "go to the line n°".