Regenerated

pekkaklarck · pekkaklarck · commit 92feb81829e9 · 2015-07-15T01:04:00.000+03:00
diff --git a/doc/api/_static/javadoc/index.html b/doc/api/_static/javadoc/index.html
@@ -10,6 +10,12 @@
     if (targetPage.indexOf(":") != -1 || (targetPage != "" && !validURL(targetPage)))
         targetPage = "undefined";
     function validURL(url) {
+        try {
+            url = decodeURIComponent(url);
+        }
+        catch (error) {
+            return false;
+        }
         var pos = url.indexOf(".html");
         if (pos == -1 || pos != url.length - 5)
             return false;
@@ -21,7 +27,8 @@
             if ('a' <= ch && ch <= 'z' ||
                     'A' <= ch && ch <= 'Z' ||
                     ch == '$' ||
-                    ch == '_') {
+                    ch == '_' ||
+                    ch.charCodeAt(0) > 127) {
                 allowNumber = true;
                 allowSep = true;
             } else if ('0' <= ch && ch <= '9'
