file: 8023

This data as json

id	patch_id	filename
8023	1786	resources/src/mediawiki.pager.tablePager/TablePager.less