file: 7847

This data as json

id patch_id filename
7847 1780 extensions/Disambiguator