Rename at_ui_include_code_mirror() to Rename at_ui_include_codemirror()
+ at_ui_codemirror_submit_shortcut_hint()
Depends on devel.
/devel/php: Support Ajax submit.