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

[Paul Dragoonis]

Commit:    e09faa174a675a622a1c717fbf640dea37df9d2a
Author:    Levi Morrison <le...@php.net>         Sun, 14 Jul 2013 11:29:07 -0600
Parents:   a2628d1ee15120c708e39674a6e50135431edc42
Branches:  master

Link:       
http://git.php.net/?p=web/php.git;a=commitdiff;h=e09faa174a675a622a1c717fbf640dea37df9d2a

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