js: Scroll to the top when a new paginator page is loaded
js: Scroll to the top when a new paginator page is loaded

GNOME/extensions-web,GNOME/extensions-web,GNOME/extensions-web,magcius/sweettooth,magcius/sweettooth,GNOME/extensions-web