file: 17673

This data as json

id patch_id filename
17673 3679 extensions/CodeMirror