The Tor Browser / file revision

 // Copyright 2012 Mozilla Corporation. All rights reserved.

 // This code is governed by the license found in the LICENSE file.

 /**

  * @description Tests that Intl.DateTimeFormat.prototype has the required attributes.

  * @author Norbert Lindenberg

  */

 var desc = Object.getOwnPropertyDescriptor(Intl.DateTimeFormat, "prototype");

 if (desc === undefined) {

     $ERROR("Intl.DateTimeFormat.prototype is not defined.");

 }

 if (desc.writable) {

     $ERROR("Intl.DateTimeFormat.prototype must not be writable.");

 }

 if (desc.enumerable) {

     $ERROR("Intl.DateTimeFormat.prototype must not be enumerable.");

 }

 if (desc.configurable) {

     $ERROR("Intl.DateTimeFormat.prototype must not be configurable.");

 }