git: openjdk/jdk: master: 8318106: Generated HTML for snippet does not always contain an id

[Pavel Rappo]

Changeset: 4166e534
Branch: master
Author:    Pavel Rappo <prappo at openjdk.org>
Date:      2024-07-12 23:11:04 +0000
URL:       https://git.openjdk.org/jdk/commit/4166e5345283d118d76b20de579d73bd55436ea6

8318106: Generated HTML for snippet does not always contain an id

Reviewed-by: liach

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlIds.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/taglets/SnippetTaglet.java
! test/langtools/jdk/javadoc/doclet/testMarkdown/TestMarkdownTaglets.java
! test/langtools/jdk/javadoc/doclet/testSnippetTag/TestLangProperties.java
! test/langtools/jdk/javadoc/doclet/testSnippetTag/TestSnippetMarkup.java
! test/langtools/jdk/javadoc/doclet/testSnippetTag/TestSnippetTag.java
! test/langtools/jdk/javadoc/doclet/testSnippetTag/TestSnippetUnnamedPackage.java