I have mediawiki 1.24.2 with the vector skin. Is there a way to put the wiki search box in the sidebar?