file: 12671

This data as json

id patch_id filename
12671 2513 extensions/CodeEditor