DEV: replaces jquery scrollTop by vanilla js code (PR #9543)

GitHub