widget-position-ext.js revision 6a694f444cea063952afdce9538c53d46ad24c86