[webui] update to codemirror 4.2