mozilla/dom/public/idl
