diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-12-22 21:59:41 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-12-22 22:18:22 -0800 |
| commit | fb64514e6728779165ba1d0ff06b68badaa3742c (patch) | |
| tree | 8919a24130125a9ef955ea73aea5b77e340b4252 /tools | |
| parent | 1c7d454909b711d6d34c6e3caa61a5535f89d18f (diff) | |
Rename 'header' -> 'heading'.
This avoids a confusion that might arise now that HTML5 has
a 'header' element, distinct from the 'headings' h1, h2, ...
Our headings correspond to HTML5 headings, not HTML5 headers.
The terminology of 'headings' is more natural, too.
The only thing going for 'header' is that John Gruber used
it in his original Markdown syntax description.
See
http://talk.commonmark.org/t/naming-of-h1-6-should-be-headings-not-headers-per-w3c/1871
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions