web/javascript.js: Fix a few JSHint warnings.
web/javascript.js: Fix more JSHint warnings.
web/javascript.js: Fix more JSHint warnings.