//javascript:alert('Hello, world!');
//alert() //This line was a failed experiment, and the following lines are a copy and paste.
function addForceSummary(){
if(!/&action=edit/.test(window.location.href)) return;
if(/§ion=new/.test(window.location.href)) return;
if(!document.forms.editform) return;
document.forms.editform.wpSave.onclick = forceSummary;
}
function forceSummary(){
if(!document.forms.editform.wpSummary.value.replace(/(^ +)|( +$)/g,'').replace(/^\/\*.*\*\/ */,'')){
var r = prompt('Are you sure you want to submit without adding a summary?\nTo add a summary, type it in the box below:',document.forms.editform.wpSummary.value);
if(r == null) return false;
document.forms.editform.wpSummary.value = r;
}
return true;
}
if (window.addEventListener) window.addEventListener("load",addForceSummary,false);
else if (window.attachEvent) window.attachEvent("onload",addForceSummary);