RFR: JDK-8266856 Make <wbr> element void
Pavel Rappo
prappo at openjdk.java.net
Tue May 18 18:00:45 UTC 2021
On Tue, 18 May 2021 17:15:56 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:
> Please review a simple fix to treat `war` as a void element.
I wonder if we could teach JavaDoc types that model HTML that void elements do not require end tags. Before this change, WBR required an end tag despite being void: https://github.com/jonathan-gibbons/jdk/blob/8a96c703771224990504cd258dd737e10d325f68/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlTree.java#L954-L968
Failing that, we could have a test to catch such inconsistencies.
-------------
PR: https://git.openjdk.java.net/jdk/pull/4098
More information about the compiler-dev
mailing list