Re: Add announcements to the upper right corner of the website (issue 6068045)

[graham]

LGTM, one minor question but it's ok with me.


http://codereview.appspot.com/6068045/diff/13001/Documentation/web.texi
File Documentation/web.texi (right):

http://codereview.appspot.com/6068045/diff/13001/Documentation/web.texi#newcode172
Documentation/web.texi:172: xhttp=new
ActiveXObject("Microsoft.XMLHTTP");
My initial intuition is that there should be a simpler way to get the
contents of a file on the same server, but I happily know almost nothing
about javascript.

If somebody else knows javascript, it would be great if they glanced at
this.

http://codereview.appspot.com/6068045/