This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
"element definiton" → "element definition"
http://dvcs.w3.org/hg/webcomponents/rev/1975ce52b300