git: openjdk/jdk: 8314448: Coordinate DocLint and JavaDoc to report on unknown tags

[Pavel Rappo]

Changeset: aecbb1b5
Author:    Pavel Rappo <prappo at openjdk.org>
Date:      2023-08-18 16:40:51 +0000
URL:       https://git.openjdk.org/jdk/commit/aecbb1b5c3ea4919f09ce98a6f5a58db6e630d29

8314448: Coordinate DocLint and JavaDoc to report on unknown tags

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/taglets/TagletManager.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Checker.java
! test/langtools/jdk/javadoc/doclet/testAutoLoadTaglets/TestAutoLoadTaglets.java
+ test/langtools/jdk/javadoc/doclet/testUknownTags/TestUnknownTags.java