diff options
Diffstat (limited to 'common/content/help.js')
| -rw-r--r-- | common/content/help.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/common/content/help.js b/common/content/help.js index a07745f8..67fbba37 100644 --- a/common/content/help.js +++ b/common/content/help.js @@ -4,8 +4,7 @@ // given in the LICENSE.txt file included with this file. -function checkFragment() -{ +function checkFragment() { document.title = document.getElementsByTagNameNS("http://www.w3.org/1999/xhtml", "title")[0].textContent; var frag = document.location.hash.substr(1); var elem = document.getElementById(frag); |