This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 7640 - The definition of the "isindex" element here makes such elements' main interface be HTMLElement rather than HTMLUnknownElement. I suppose that's not intended
Summary: The definition of the "isindex" element here makes such elements' main interf...
Status: VERIFIED FIXED
Alias: None
Product: HTML WG
Classification: Unclassified
Component: pre-LC1 HTML5 spec (editor: Ian Hickson) (show other bugs)
Version: unspecified
Hardware: Other other
: P3 normal
Target Milestone: LC
Assignee: Ian 'Hixie' Hickson
QA Contact: HTML WG Bugzilla archive list
URL: http://www.whatwg.org/specs/web-apps/...
Whiteboard:
Keywords: NoReply
Depends on:
Blocks:
 
Reported: 2009-09-15 21:00 UTC by contributor
Modified: 2010-10-04 14:49 UTC (History)
4 users (show)

See Also:

Attachments

Description contributor 2009-09-15 21:00:23 UTC 
Section: http://www.whatwg.org/specs/web-apps/current-work/#isindex-0

Comment:
The definition of the "isindex" element here makes such elements' main interface be HTMLElement rather than HTMLUnknownElement. I suppose that's not intended

Posted from: 83.252.193.59
Comment 1 Ian 'Hixie' Hickson 2009-09-29 01:47:26 UTC 
Man, competition in the pedant field is increasing. I might have to go practice some more.
Comment 2 contributor 2009-09-29 01:48:02 UTC 
Checked in as WHATWG revision r4024.
Check-in comment: Define isindex as not defined.
http://html5.org/tools/web-apps-tracker?from=4023&to=4024
Comment 3 Maciej Stachowiak 2010-03-14 14:51:21 UTC 
This bug predates the HTML Working Group Decision Policy.

If you are satisfied with the resolution of this bug, please change the state of this bug to CLOSED. If you have additional information and would like the editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the tracker issue; or you may create a tracker issue yourself, if you are able to do so. For more details, see this document:
  http://dev.w3.org/html5/decision-policy/decision-policy.html

This bug is now being moved to VERIFIED. Please respond within two weeks. If this bug is not closed, reopened or escalated within two weeks, it may be marked as NoReply and will no longer be considered a pending comment.