+ return d + " " + rcpad2(h) + ":" + rcpad2(m) + ":" + rcpad2(s);
+ }
+
+ function rcaddservertimestamptohover(message, server) {
+ var divs = message.UI.getElementsByTagName("div");
+ var t = message.ServerTimes[server];
+ for (var i in divs) {
+ if (divs[i].getAttribute && divs[i].getAttribute("class") == "servertimestamps") {
+ var d = document.createElement("div");
+ var text = t.getFullYear() + "-" +
+ rcpad2(t.getMonth()) + "-" +
+ rcpad2(t.getDay()) + " " +
+ rcformattime(t) + "." +
+ rcpad3(t.getMilliseconds()) + " " +
+ server;
+ d.appendChild(document.createTextNode(text));
+ divs[i].appendChild(d);
+ }