in source/javascripts/phonebook.js [779:788]
function showUid(uid) {
var obj = document.getElementById('phonebook')
if (uid in people) {
var name = getCommitterName(uid)
obj.innerHTML = "<div class='group' id='committer_" + uid + "'><h4 onclick=\"showCommitter(this.parentNode, '" + uid + "');\">" + name + " (<kbd>" + uid + "</kbd>)</h4></div>"
showCommitter(document.getElementById('committer_' + uid), uid)
} else {
obj.innerHTML = "<h3>Could not find user id: '" + uid + "'</h3>"
}
}