User:Femto Bot/monobook.js

var txt = document.editform.wpTextbox1; txt.value = txt.value.replace(//g, '');