file: 427517

This data as json

id	patch_id	filename
427517	88804	includes/registration/ExtensionRegistry.php