file: 663128

This data as json

id	patch_id	filename
663128	130293	resources/src/mediawiki.special.preferences.ooui/mobile.js