Add CONTRIBUTING.md, with how-to docs on element-name code generation#112
Merged
sideshowbarker merged 1 commit intomasterfrom Dec 30, 2025
Conversation
This change adds some how-to docs for the process of regenerating the element-name hash tables in the ElementName.java file — which is something you need to do when adding a new HTML element. The docs include steps and info on: - How to add new element constants - Which code sections to uncomment for regeneration - How to compile and run the code generator - Notes on Gecko vs Java-only builds - How to update the generated arrays - Technical details about the hash function and BST structure
7a1484f to
f9a4894
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This change adds some how-to docs for the process of regenerating the element-name hash tables in the
ElementName.javafile — which is something you need to do when adding a new HTML element.The docs include steps and info on: