12345678910111213 |
- (function() {
- var globalsAtEnd = [];
- for (var i in this)
- if (i !== "Sk" && i !== "JSON2" && i !== "sprintf" && i !== "COMPILED" && i !== "goog")
- globalsAtEnd.push(i);
- globalsAtEnd.sort();
- if (___initialglobalslist.toString() !== globalsAtEnd.toString())
- {
- print("FAILED: new globals other than 'Sk' and 'goog'");
- print("initial:", ___initialglobalslist);
- print("at end:", globalsAtEnd);
- }
- }());
|