//////////////////////////////////////////////////////////////////////
// CXInfo
function CXInfo(px,el_control){
	const extensions=px.extensions;

	function updateInfo(){
		const rx=[];
		extensions.forEach(function(item){
			rx.push("<b>"+item.extname+"</b> ("+item.runidx+")");
		});
		el_control.innerHTML="<i>Extensions</i>: "+rx.join(", ");
	};

	return{
		updateInfo,
	};
};