Vadim Zeitlin 40b629641b Don't define "objElements" in JavaScript code unless we need it ...

This variable is only used when dumping object fields, so define it
there both as a micro-optimization and for clarity.

2017-10-22 23:38:04 +02:00

7.2 KiB

Raw Blame History

View Raw