precompiled ui-extra.js