Media library and media views should both use the mini pager for consistency

I think that mini pager is the better option here. The main reasons for this decision are:

1) Consistency, as mentioned on the issue title.
2) Performance. Mini pager is less heavy than the full pager.
3) Usability. Media are usually attached to Nodes. So navigating to the first or last item is not something really important.

I’m actually of the opposite mindset and think both should use full. We use full on block content and content views

What’s the reason to use mini vs fill?