In Safari, how do you view User Timing Marks inserted using the from the JavaScript Performance API?
In Chrome, for instance, User Time Marks show up in the Timing timeline, as show here.
It appears that Safari started supporting the User Timing Marks part of the JavaScript Performance API in version 11, but I cannot figure out how to see them in Safari's developer tools.