function showUid()

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>"
   }
}