That's an intermediate change I had made at some point in the life of workspace.js in its widget-refactor parallel universe. In the final version that function no longer exists at all.