file: 17672

This data as json

id patch_id filename
17672 3679 extensions/CodeEditor