Rebuild widget JavaScript.

I think I forgot to rebuild this with the final updates in
49dab3f6843e8f5a7e14e374af397d7e7414c983

Addresses #741