Skip to content

Conversation

@adangel
Copy link
Member

@adangel adangel commented Sep 26, 2025

Describe the PR

This is another small improvement for the documentation page: It adds a dropdown with previous versions of PMD to easily jump to the older documentation:

image

It is based on the releases on github and accesses api.github.com to retrieve the list.
This means, this makes the page not fully working in offline mode, but I think, that's ok.

It also removes the topnav data element and simplifies the topnav template.

Related issues

Ready?

  • Added unit tests for fixed bug/feature
  • Passing all unit tests
  • Complete build ./mvnw clean verify passes (checked automatically by github actions)
  • Added (in-code) documentation (if needed)

@adangel adangel added this to the 7.18.0 milestone Sep 26, 2025
@pmd-actions-helper
Copy link
Contributor

pmd-actions-helper bot commented Sep 26, 2025

Documentation Preview

No regression tested rules have been changed.

(comment created at 2025-10-27 08:34:42+00:00 for d8f6d4f)

@adangel adangel added the in:documentation Affects the documentation [doc] label Oct 7, 2025
@adangel adangel force-pushed the doc/add-pmd-versions-dropdown branch from 09646b8 to d8f6d4f Compare October 27, 2025 08:15
@adangel adangel merged commit b90ef3f into pmd:main Oct 27, 2025
11 checks passed
@adangel adangel deleted the doc/add-pmd-versions-dropdown branch October 27, 2025 08:43
magwas pushed a commit to magwas/pmd that referenced this pull request Nov 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

in:documentation Affects the documentation [doc]

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant