The Tor Browser / file revision

 // Copyright 2009 the Sputnik authors.  All rights reserved.

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

 /**

  * Operator x <= y returns ToNumber(x) <= ToNumber(y), if Type(Primitive(x)) is not String or Type(Primitive(y)) is not String

  *

  * @path ch11/11.8/11.8.3/S11.8.3_A3.1_T1.3.js

  * @description Type(Primitive(x)) and Type(Primitive(y)) vary between Null and Undefined

  */

 //CHECK#1

 if (null <= undefined !== false) {

   $ERROR('#1: null <= undefined === false');

 }

 //CHECK#2

 if (undefined <= null !== false) {

   $ERROR('#2: undefined <= null === false');

 }

 //CHECK#3

 if (undefined <= undefined !== false) {

   $ERROR('#3: undefined <= undefined === false');

 }

 //CHECK#4

 if (null <= null !== true) {

   $ERROR('#4: null <= null === true');

 }