better_exposed_filters-8.x-4.x-dev/src/Plugin/better_exposed_filters/pager/DefaultWidget.php

<?php

namespace Drupal\better_exposed_filters\Plugin\better_exposed_filters\pager;

/**
 * Default widget implementation.
 *
 * @BetterExposedFiltersPagerWidget(
 *   id = "default",
 *   label = @Translation("Default"),
 * )
 */
class DefaultWidget extends PagerWidgetBase {

}