1
// Copyright 2012 Mozilla Corporation. All rights reserved.
2
// This code is governed by the license found in the LICENSE file.
5
* @description Tests that Intl.DateTimeFormat.prototype has the required attributes.
6
* @author Norbert Lindenberg
9
var desc = Object.getOwnPropertyDescriptor(Intl.DateTimeFormat, "prototype");
10
if (desc === undefined) {
11
$ERROR("Intl.DateTimeFormat.prototype is not defined.");
14
$ERROR("Intl.DateTimeFormat.prototype must not be writable.");
16
if (desc.enumerable) {
17
$ERROR("Intl.DateTimeFormat.prototype must not be enumerable.");
19
if (desc.configurable) {
20
$ERROR("Intl.DateTimeFormat.prototype must not be configurable.");