RFR: JDK-8275786: New javadoc option to add script files to generated documentation

[Jonathan Gibbons]

On Mon, 8 Nov 2021 18:02:57 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> JDK-8275786: New javadoc option to add script files to generated documentation
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/Head.java line 63:
> 
>> 61:     private DocPath mainStylesheet;
>> 62:     private List<DocPath> additionalStylesheets = Collections.emptyList();
>> 63:     private List<DocPath> additionalScripts = Collections.emptyList();;
> 
> Suggest moving this down a few lines, after `mainBodyScript` and `scripts`.

While I realize the maybe-useful similarity between `additionalStylesheets` and `additionalScripts`, the similarity between `scripts` and `additionalScripts` leaves me asking, "why both?". I'm  not sure I would go as far as a systemic rename of `additionalScripts` to `userScripts`, but maybe a comment on the declaration would be helpful to future readers.

-------------

PR: https://git.openjdk.java.net/jdk/pull/6173