The callback definition of del property is changed from 'JS_PropertyStub' to 'JS_DeletePropertyStub' from spidermonkey v23.

...