Lines Matching full:browsers
539 // A delay is needed, because some browsers do not immediately scroll down to the anchor858 (agent.indexOf("mini") != -1)) { // opera mini browsers
