[webui] Fix the codemirror javascript manifest