file: 12712

This data as json

id patch_id filename
12712 2513 extensions/GlobalPreferences