diff options
Diffstat (limited to 'plugins/javadoc/src/main/resources/views/components/pageStart.korte')
-rw-r--r-- | plugins/javadoc/src/main/resources/views/components/pageStart.korte | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/plugins/javadoc/src/main/resources/views/components/pageStart.korte b/plugins/javadoc/src/main/resources/views/components/pageStart.korte index 56cf243e..92be7495 100644 --- a/plugins/javadoc/src/main/resources/views/components/pageStart.korte +++ b/plugins/javadoc/src/main/resources/views/components/pageStart.korte @@ -18,17 +18,9 @@ <script type="text/javascript" src="{{ pathToRoot }}jquery/jquery-ui.js"></script> </head> <body> -<script type="text/javascript"><!-- - try { - if (location.href.indexOf('is-external=true') == -1) { - parent.document.title="{{ documentTitle }} ({{ title }} {{ version }} API)"; - } - } - catch(err) { - } -//--> +<script type="text/javascript"> var pathtoroot = "{{ pathToRoot }}"; -loadScripts(document, 'script');</script> +</script> <noscript> <div>JavaScript is disabled on your browser.</div> </noscript> |