User:Niiue/monobook.js

a=document.getElementById('wpTextbox1');a.value=a.value.replace(/ /g,' ')