Widget-PositionExt.js revision e12e15e8ead752cb3f80bde7f12a2035f02e720d