Now obsolete old widget.js removed.
Now obsolete old widget.js removed.

obensch/arachnefrontend,codarchlab/arachnefrontend,dainst/arachnefrontend,dainst/arachnefrontend,codarchlab/arachnefrontend,obensch/arachnefrontend