) {
            pages.push(
                {isPage: true, number: i, isCurrent: (i == currentPage)});
            isGapAdded = false;
          } else if (!isGapAdded) {
            pages.push({isPage: false})
            isGapAdded = true;
          }
        }
        return pages;
      },
    });
  </script>
</dom-module>

