MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */
window.addEventListener('keydown',function(e)
{
	if(e.key === "Enter"){
		var trueQuery = $("[name=search]").val();
		$("[name=search]").on("keydown", function(e){
			$("[name=search]").val(trueQuery);
		});
	}
},true);