User:Butwhatdoiknow/common.js

/* Disallow hitting "enter" in the edit summary box to actually submit. */ (function {	var submit_box = document.getElementById('wpSummary');	if (submit_box) {		submit_box.onkeypress = function(e) {			if (e.charCode === 13) {   			alert('Customized behavior; "enter" to publish turned off. Use "Publish" button to publish.');   			e.preventDefault;			}		};	} });