Update Info.js

By pulling WorkspaceManager.js in, the WebGUI again is working for me.