girder-version.js
