-
This adds a --jsversion command line option that prints whatever SpiderMonkey provides as its version. Also adds public API that does the same, gjs_get_js_version(), in case an embedding program such as GNOME Shell would want to print the version as well.
5ad5b777