Issue #3339767 by Dave Reid: Added Views mini pager.

src/Plugin/Styleguide/DefaultStyleguide.php

@@ -693,6 +693,13 @@ class DefaultStyleguide extends StyleguidePluginBase {
       'content' => $this->generator->pager(),
       'group' => $this->t('User interface'),
     ];
+    if ($this->moduleHandler->moduleExists('views')) {
+      $items['views_mini_pager'] = [
+        'title' => $this->t('Views mini pager'),
+        'content' => ['#theme' => 'views_mini_pager'] + $this->generator->pager(),
+        'group' => $this->t('User interface'),
+      ];
+    }
     $items['progress_bar'] = [
       'title' => $this->t('Progress bar'),
       'content' => [