MediaWiki:Gadget-translate-hidemenu.js

(function( mw, $ ) {	"use strict";	if ( mw.config.get( 'wgCanonicalSpecialPageName' ) !== "Translate" ) {		return;	}	var $left = $( "#mw-panel" );	var $right1 = $( "#content" );	var $right2 = $( "#left-navigation" );	var delim = $( "#mw-head-base" ).offset.left;	$( document ).mousemove( function(event) { if ( event.pageX < 5 ) { $left.css( "display", "block" ); $right1.css( {marginLeft: delim} ); $right2.css( {left: delim} ); } else if ( event.pageX > delim ) { $left.css( "display", "none" ); $right1.css( {marginLeft: 0} ); $right2.css( {left: 0} ); }	} ); }( mediaWiki, jQuery ))