HTML editor update

I don't know if this is the place to ask this, but has the HTML editor, specifically the part that makes the actual content of your HTML, been updated for HTML5? And also, what version of HTML is the Khan Academy code editor using right now?