file: 7835

This data as json

id patch_id filename
7835 1780 extensions/CodeEditor