borisyankov/DefinitelyTyped — pull request #2234 by advancedrei (2014-05-22 17:45:55+00:00)
Title: Auth0: Other UserProfile definitions, etc.

Also includes a couple browser window extensions necessary for
interacting with the API.