php doc and fast scrolling