php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Bug #66210 Floating navbar breaks fragment links
Submitted: 2013-11-30 16:30 UTC Modified: 2013-12-03 22:44 UTC
From: anon at anon dot anon Assigned: dm (profile)
Status: Closed Package: Website problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Developer Edit
 [2013-11-30 16:30 UTC] anon at anon dot anon 
Description:
------------
This is a link to the section in the manual about casting booleans to integers:

http://www.php.net/manual/en/language.types.integer.php#language.types.integer.casting.from-boolean

The wanted section disappears behind the navigation bar, so the browser instead shows the section about casting to integers from floats.

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2013-12-02 18:03 UTC] aharvey@php.net
-Status: Open +Status: Assigned -Assigned To: +Assigned To: dm
 [2013-12-02 18:03 UTC] aharvey@php.net 
Dejan, I think you had a fix for this floating around?
 [2013-12-02 23:57 UTC] dm@php.net 
Testing in major browsers (IE, FF, Chrome, Opera) I could reproduce this only on IE(11) http://i.imgur.com/kLbm8Gj.png, if that's not the case, turned off Javascript could be a cause too.
IE scrolls on different event opposed to other browsers; I'll adjust the JS code to count in for IE specifics.
 [2013-12-03 04:42 UTC] anon at anon dot anon 
I do have JavaScript off. I didn't realize it was required for basic navigation these days. How silly of me.
 [2013-12-03 21:19 UTC] dm@php.net 
Ironic. I am not familiar with one style to rule them all CSS solution and I agree that you shouldn't need JavaScript for basic navigation.
This should be fixed now (at least for manual pages). Specifying the browser you use would be helpful too.
Thank you for bug report.
 [2013-12-03 21:30 UTC] dm@php.net
-Status: Assigned +Status: Closed
 [2013-12-03 21:30 UTC] dm@php.net 
Fixed, visit the manual page again (refresh cache if needed).
 [2013-12-03 22:44 UTC] levim@php.net 
Note that this issue has been known about for a while, but the website was launched anyway. The easiest way to fix this is actually to change the HTML so we can avoid some of the CSS trickery we employ. The JavaScript snippet is just a patch until we can get it fixed properly. I apologize for this.
 
PHP Copyright © 2001-2025 The PHP Group
All rights reserved. 		Last updated: Wed Nov 19 21:00:01 2025 UTC