feat : Standardize miner table pagination and shared pager UX

[carlh7777]

Summary

• Add URL-backed pagination to the Miner PRs table (prPage / prRows), including a rows-per-page selector.
• Add shared responsive pager UI.
• Centralize pagination helpers and hook in TablePagination.tsx.

Type of Change

• Bug fix
• New feature
• Refactor
• Documentation
• Other (describe below)

Screenshots

Before

Before.webm

---

After

After.webm

Checklist

• New components are modularized/separated where sensible
• Uses predefined theme (e.g. no hardcoded colors)
• Responsive/mobile checked
• Tested against the test API
• npm run format and npm run lint:fix have been run
• npm run build passes
• Screenshots included for any UI/visual changes

[ventura-oss]

Skipping in this review pass — branch has merge conflicts against current test. Please rebase and we'll re-review.

[carlh7777]

Hi @ventura-oss

Rebased onto the latest origin/test, resolved the merge conflicts, and force-pushed the updated branch for re-review.

[anderdc]

fix conflicts

[carlh7777]

Hi @anderdc fixed conflicts

[anderdc]

fix conflicts again, this was caused by a PR I just merged

[carlh7777]

Hi @anderdc fixed conflicts

[carlh7777]

Before

---

After

[anderdc]

The description says pagination is unified across Miner PRs, Repositories, and Score Breakdown tables, but the diff only migrates the Miner PRs table. Two things to fix:

1. The TablePagination.tsx top docstring and the PR description reference a Score Breakdown table and scorePage/scoreRows params — neither the table nor those params exist anywhere in the repo. Correct both to describe what the PR actually does: pagination for the Miner PRs table.

2. Drop the prPage → minerPage rename and the legacy-migration code (LEGACY_MINER_PAGE_PARAMS, stripLegacyMinerPaginationParams, and the legacy-key fallbacks in useMinerExplorerPagination). One table uses this param — renaming it only adds migration scaffolding and churns existing deep links for no user-facing gain. Keep prPage.

The rows-per-page selector and numbered/mobile pager are fine — keep those.

[carlh7777]

@anderdc Fixed all requested review comments.

[anderdc]

Prior review items are resolved (docstring/description corrected, prPage kept, legacy migration dropped). Two leftovers from the dropped multi-table scope remain:

1. MinerTableRowsSelect.tsx docstring — "Rows-per-page control for table header toolbars (miner PR / repos tables)" names a repos table this PR doesn't touch, the same phantom reference that was flagged on the TablePagination.tsx docstring. Reword to the Miner PRs table only.

2. TablePagination.tsx — getMinerExplorerPaging returns rankOffset and pageSize, but the only caller (MinerPRsTable.tsx) destructures neither. Drop both from the return type and body.

Also: default page size drops from 20 to 10 (DEFAULT_MINER_EXPLORER_ROWS) and isn't mentioned in the description. Confirm intended or restore 20.

[carlh7777]

Hi @anderdc

Fixed the remaining review items