W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > November 2011

[Bug 13226] missing interfaces from interfaces index

From: <bugzilla@jessica.w3.org>
Date: Mon, 21 Nov 2011 16:55:29 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1RSX9V-0004BO-Ma@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=13226

--- Comment #6 from Glenn Adams <glenn@skynav.com> 2011-11-21 16:55:27 UTC ---
Created attachment 1045
  --> http://www.w3.org/Bugs/Public/attachment.cgi?id=1045
Patch - Interfaces Index

This patch, applied to revision 6831 of [1], does the following:

* change heading of Interfaces index to read Interfaces of Elements
* adds new Interfaces and Types index, which lists *all* defined interfaces and
*all* normatively referenced external interfaces and types

[1] http://svn.whatwg.org/webapps/source

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Monday, 21 November 2011 16:55:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 21 November 2011 16:55:38 GMT