No way to set a pagination counter when a custom pagination element is in use

[jonatanschroeder]

Describe the bug

When paginationElement is set, paginationCounter is not set, even if a paginationCounterElement is used. There is no mention in the docs about any incompatibility in this regard.

Tabulator Info

• Which version of Tabulator are you using?
  • 6.2

Working Example
YOU MUST include a link to a JS Fiddle or Codepen that demonstrates the problem, it is very hard to diagnose an issue from a simple description.

https://jsfiddle.net/6mvt4juz/2/

To Reproduce
A step by step guide to recreate the issue in your JS Fiddle or Codepen:

1. Set paginationElement to any element outside of the table.
2. Set paginationCounter to either a function or a built-in counter (e.g., 'rows').
3. Set paginationCounterElement to any element outside of the table.

Note that there is no counter in place anywhere.

Expected behavior
The counter should be listed in the custom element specified in paginationCounterElement.

Desktop (please complete the following information):

• OS: Windows 11
• Browser [e.g. chrome, safari]: Edge
• Version [e.g. 22]: 124.0.2478.51

It seems this is set in

tabulator/src/js/modules/Page/Page.js

Lines 432 to 433 in 7333c33

	if(!this.table.options.paginationElement){
	if(this.table.options.paginationCounter){

but there is no indication or comment about why this is the case.