[whatwg] Menu DOM interface

The DOM interface for the menu element says HTMLCommandElement. It  
should probably say HTMLMenuElement.

-- 
Henri Sivonen
hsivonen at iki.fi
http://hsivonen.iki.fi/

Received on Sunday, 16 April 2006 12:57:30 UTC