In html mode there is `editor.session.$mode.$modes`, but it is missing on php. i'll fix that.