diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/node.js | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/node.js b/tools/node.js index 048630de..054a05c0 100644 --- a/tools/node.js +++ b/tools/node.js @@ -194,7 +194,7 @@ exports.describe_ast = function() { return out + ""; }; -exports.readReservedFile = function(filename, reserved) { +function readReservedFile(filename, reserved) { if (!reserved) { reserved = { vars: [], props: [] }; } @@ -211,6 +211,12 @@ exports.readReservedFile = function(filename, reserved) { }); } return reserved; +} + +exports.readReservedFile = readReservedFile; + +exports.readDefaultReservedFile = function(reserved) { + return readReservedFile(path.join(__dirname, "domprops.json"), reserved); }; exports.readNameCache = function(filename, key) { |