file: 71817

This data as json

id patch_id filename
71817 15005 oojs/oojs-ui/php/widgets/MessageWidget.php