tree 94f5dbde76545b0f811badc0a24563793733b53f
parent dccbda5542de6dded7863b30090e23174b454179
author Tao Zhou <taoalpha@google.com> 1589196097 +0200
committer Tao Zhou <taoalpha@google.com> 1589196097 +0200

Move codemirror editor plugin to Polymer 3

This migration still left the lazy load asset `codemirror-element`
as a html module due to the selectively support on languages.

Change-Id: I7896c86b59c75fe1967bc94d3d5c8d8d01150941