+ function rcaddservertimestamptohover(message, server) {
+ var divs = message.UI.getElementsByTagName("div");
+ for (var i in divs) {
+ if (divs[i].getAttribute && divs[i].getAttribute("class") == "servertimestamps") {
+ var d = document.createElement("div");
+ function pad(x) {
+ return (x < 10 ? "00" : (x < 100 ? "0" : "")) + x;
+ }
+ var text = rcformattime(message.ServerTimes[server]) + "." + pad(message.ServerTimes[server].getUTCMilliseconds()) + " " + server;
+ d.appendChild(document.createTextNode(text));
+ divs[i].appendChild(d);
+ }
+ }
+ }
+