Run grand replace for 2015.

[lilypond.git] / Documentation / ja / web.texi

diff --git a/Documentation/ja/web.texi b/Documentation/ja/web.texi
index 782a3b46190b0484b9c02019549617906d7003ac..65bca0276a5ae4ff130d4c05e1e66643e4a14658 100644 (file)
--- a/Documentation/ja/web.texi
+++ b/Documentation/ja/web.texi
@@ -1,6 +1,6 @@
 \input texinfo @c -*- coding: utf-8; mode: texinfo; documentlanguage: ja -*-
 @ignore
-    Translation of GIT committish: 16ac0db39d8cca1de68ce79154386764172aca10
+    Translation of GIT committish: 8e9d9bb49f057ab81be830a5ac16714490130393
 
     When revising a translation, copy the HEAD committish of the
     version that you are working on.  For details, see the Contributors'
@@ -15,7 +15,7 @@
 
 @c `Web' was imported 2009-08-05 with git commit b938d71...
 @c @macro copyrightDeclare
-@c Copyright @copyright{} 2009--2012 by the authors.
+@c Copyright @copyright{} 2009--2015 by the authors.
 @c @end macro
 
 @set FDL
@@ -35,7 +35,7 @@
 @c Translators: Yoshiki Sawada, Yoshinobu Ishizaki
 
 @copying
-Copyright @copyright{} 2009--2012 by the authors.
+Copyright @copyright{} 2009--2015 by the authors.
 
 @c next line is necessary for broken pre-4.13 texinfo's
 @c install-info, so leave it there until we officially
@@ -153,6 +153,44 @@ LilyPond はフリーソフトウェアであり、@uref{http://gnu.org,GNU プ
 @ifclear web_version
   @c do nothing
 @end ifclear
+@ifset web_version
+  @c make the box:
+@divId{wildCardBox}
+@subheading Pondings
+@divId{wildCardText}
+
+@divEnd
+@divEnd
+@end ifset
+
+@html
+
+<script language="JavaScript" type="text/javascript">
+  function loadXMLDoc(dname)
+    {
+      if (window.XMLHttpRequest)
+        {
+          xhttp=new XMLHttpRequest();
+        }
+      else
+        {
+          xhttp=new ActiveXObject("Microsoft.XMLHTTP");
+        }
+      xhttp.open("GET",dname,false);
+      xhttp.send();
+      return xhttp.responseXML;
+    }
+
+  var xmlDoc = loadXMLDoc("tweets.xml");
+  var tweets = xmlDoc.getElementsByTagName("tweet");
+  var index = Math.floor(Math.random() * tweets.length);
+  var tweet = tweets[index];
+  var text = tweet.childNodes[0];
+  document.getElementById("wildCardText").innerHTML = text.nodeValue;
+</script>
+
+@end html
+
 @ifset web_version
   @c make the box:
 @divId{latestVersion}