id,patch_id,filename
4055,812,resources/src/mediawiki.less/mediawiki.mixins.animation.less
4056,812,resources/src/mediawiki.less/mediawiki.mixins.rotation.less