View source JS

viewsource

// Get HTML from an element, then escape it and drop it into another element (pre)

function viewsource(sel) {
	var source = document.getElementById(sel).innerHTML;
	    source = source.replace(/[<>]/g, function(m) { return {'<':'&lt;','>':'&gt;'}[m]});
	    source = source.replace(/((ftp|http|https):\/\/(\w+:{0,1}\w*@)?(\S+)(:[0-9]+)?(\/|\/([\w#!:.?+=&%@!\-\/]))?)/gi,'<a href="$1">$1</a>');

	document.getElementById("source").innerHTML = source;
}