archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-08-28 15:24:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

8223733: "Detail" in headings should be "Details"

Browse source 
Reviewed-by: hannesw
This commit is contained in:
Priya Lakshmi Muthuswamy 2019-05-21 15:02:18 +05:30
parent 0171fba9b8
commit c053e706a9
7 changed files with 38 additions and 38 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
View file

@ -160,13 +160,13 @@ doclet.Properties_Inherited_From_Class=Properties inherited from class
doclet.Properties_Inherited_From_Interface=Properties inherited from interface
doclet.Properties_Declared_In_Class=Properties declared in class
doclet.Properties_Declared_In_Interface=Properties declared in interface
doclet.Annotation_Type_Member_Detail=Element Detail
doclet.Enum_Constant_Detail=Enum Constant Detail
doclet.Annotation_Type_Member_Detail=Element Details
doclet.Enum_Constant_Detail=Enum Constant Details
doclet.Constants_Summary=Constant Field Values
doclet.Field_Detail=Field Detail
doclet.Property_Detail=Property Detail
doclet.Method_Detail=Method Detail
doclet.Constructor_Detail=Constructor Detail
doclet.Field_Detail=Field Details
doclet.Property_Detail=Property Details
doclet.Method_Detail=Method Details
doclet.Constructor_Detail=Constructor Details
doclet.Deprecated=Deprecated.
doclet.DeprecatedForRemoval=Deprecated, for removal: This API element is subject to removal in a future version.
doclet.Groupname_already_used=In -group option, groupname already used: {0}