I'd like to make it use MediaSearch instead of SpecialSearch at Template:Search inside category on Wikimedia Commons (a search box for category pages to search through media of the category). How could this be done?
Topic on Extension talk:InputBox
Seems like it can't yet be done: