file: 71816

This data as json

id	patch_id	filename
71816	15005	oojs/oojs-ui/php/widgets/CheckboxMultiselectInputWidget.php