User:Magnus Manske/less edit clutter.js: Difference between revisions

Content deleted Content added
mNo edit summary
mNo edit summary
Line 136:
 
var adiv = document.createElement ( 'div' ) ;
adiv.style.display = 'block' ;
adiv.appendChild ( document.createTextNode ( "Main text (" ) ) ;
adiv.appendChild ( a ) ;