web-ui: small fix for get-js-lib-script