bors 6a795887c4 Auto merge of #13539 - GuillaumeGomez:allow-no-js, r=Alexendoo ... Allow to go through clippy lints page without javascript Fixes #13536. This is the follow-up of https://github.com/rust-lang/rust-clippy/pull/13269. This PR makes it possible to expand/collapse lints (individually) without JS. To achieve this result, there are two ways: 1. Use `details` and `summary` tags. Problem with this approach is that the web browser search may open the `details` tags automatically if content matching it is inside. From a previous discussion with `@Alexendoo,` it seems to not be a desired behaviour. 2. Use a little trick where you use a `label` and a checkbox where the checkbox is in fact hidden. Then it's just a matter of CSS. r? `@Alexendoo` changelog: Allow to go through clippy lints page without JS		2024-10-18 19:24:16 +00:00
..
etc	Merge commit '37f4c1725d3fd7e9c3ffd8783246bc5589debc53' into clippyup	2023-07-02 14:59:02 +02:00
gh-pages	Auto merge of #13539 - GuillaumeGomez:allow-no-js, r=Alexendoo	2024-10-18 19:24:16 +00:00
fetch_prs_between.sh	Merge commit 'd9c24d1b1ee61f276e550b967409c9f155eac4e3' into clippyup	2023-07-17 10:22:32 +02:00
versions.py	Remove unused import from Clippy versions.py file	2024-09-24 18:13:17 +02:00