[PHP-WEBMASTER] com web/php: Fixed broken header name.: js/common.js

[Levi Morrison]

Commit:    7a7d428dc86cd4c3da35affb3de00816f3056428
Author:    Levi Morrison <le...@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);


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php