This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
http://dev.w3.org/2006/webapi/WebIDL/#delete Step 2 is: "2. If O has the DontDelete attribute, return false." It should be: "2. If the property with name P on object O has the DontDelete attribute, return false." (Of course, this will need to change for ES5 anyway.)
This got fixed as part of the translation to ES5.