context: function edAddTag(button) {	if (edButtons[button].tagEnd != '') {		edOpenTags[edOpenTags.length] = button;		document.getElementById(edButtons[button].id).value = '/' + document.getElementById(edButtons[button].id).value;	}}
meta: 7254	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7254/905bbfee70b832381dacac2abb3e9a3a7ce6befd/quicktags.js/clean/wp-admin/quicktags.js