/* Any JavaScript here will be loaded for all users on every page load. */

if (wgPageName == "Special:Search") //scripts specific to Special:Search
{
    importScript("MediaWiki:Common.js/search.js")
}

// Hide Translation Tool if not a translators
$( document ).ready( function() {
  if ( wgUserGroups.join(' ').indexOf('translator') === -1 ) $( '#n-ub-trans-tool' ).hide();
});