Added Auth0 definitions for JS API and widget