git: openjdk/jdk: 8314213: DocLint should warn about unknown standard tags

Thu Aug 17 07:45:10 UTC 2023

Changeset: 6f1071f5
Author:    Pavel Rappo <prappo at openjdk.org>
Date:      2023-08-17 07:43:07 +0000
URL:       https://git.openjdk.org/jdk/commit/6f1071f5ed6bd552378b2b70cd685b74e7f9e43d

8314213: DocLint should warn about unknown standard 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