com web/php: Fixed broken header name.: js/common.js
| From: | Levi Morrison | Date: | Sun, 14 Jul 2013 17:29:07 +0000 |
| Subject: | com web/php: Fixed broken header name.: js/common.js | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-16324@lists.php.net to get a copy of this message | ||
Commit: 7a7d428dc86cd4c3da35affb3de00816f3056428
Author: Levi Morrison <levim@php.net> Sun, 14 Jul 2013 11:29:07 -0600
Parents: eb5dbfb0bccea4e9fb60eba1ca3510e20618d5ce
Branches: responsive
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=7a7d428dc86cd4c3da35affb3de00816f3056428
Log:
Fixed broken header name.
Changed paths:
M js/common.js
Diff:
diff --git a/js/common.js b/js/common.js
index 805999e..8136b2f 100644
--- a/js/common.js
+++ b/js/common.js
@@ -189,7 +189,7 @@ $(document).ready(function() {
$docsDivWithId.children("h1, h2, h3, h4").each(function(){
$(this).append("<a class='genanchor' href='#" +
$(this).parent().attr("id") + "'> ¶</a>");
});
- var scrollHeightOfHeadnav = - document.getElementById('headnav').scrollHeight;
+ var scrollHeightOfHeadnav = - document.getElementById('head-nav').scrollHeight;
scrollHeightOfHeadnav -= 12; //some margin
$docs.find(".methodparam .parameter").each(function () {
var $node = $(this);