750104 - Object.getOwnPropertyNames(window) not listing HTML{tag}Element

Status: RESOLVED DUPLICATE of bug 807222

(Firefox :: Untriaged, defect)

Description

[hello]

User Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:11.0) Gecko/20100101 Firefox/11.0
Build ID: 20120312181643

Steps to reproduce:

HTMLPreElement object is global, i.e.

    console.log('HTMLPreElement' in window);   //=> true

but running

    console.log(Object.getOwnPropertyNames(window));

or even 

    console.log(Object.getOwnPropertyNames(window.Window.prototype));

returns an array without HTMLPreElement (or any other HTML element objects).


Actual results:

The method returned an array with property names.


Expected results:

MDN states that Object.getOwnPropertyNames should return a list of enumerable and non-enumerable properties, which I would have expected to include HTMLPreElement, HTMLSpanElement etc.

While this may be on purpose, I filed this as a bug because even a simple for (x in window) in WebKit lists all global properties, HTML{tag}Element objects included.