Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adjust "extensions" capitalization in headers #697

Closed
wants to merge 1 commit into from

Conversation

brianjmiller
Copy link
Contributor

Resolves #506

@brianjmiller
Copy link
Contributor Author

I threw this PR together to satisfy #506 based on it stating that there had already been consensus in the group meeting from that date a long time ago, but I now question whether this change makes sense in light of the fact that most of the other xAPI related concepts don't share this same capitalization. For instance actor vs. Actor, or completion vs. Completion. I would still be in favor of making sure the document is consistent, but I think that would mean capitalizing the header in section 9.6.3 instead.

@MrBillMcDonald
Copy link
Contributor

The Group determined that it would be more consistent to rename header with capitalization (to be consistent with other existing headers). The group will revisit capitalization of all headers with xAPI terms in a future release.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Captialization of headings
2 participants