MediaWiki:Gadget-SpecialSearch.js/documentation