modifying the MediaWiki searchbox


 * customization: modifying the MediaWiki searchbox