Add back the navigation buttons that have been hidden in the hamburger menu
Per 23-06-2021. Zie de nieuwste versie.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
Update the script for the new GitLab navigation layout as of GitLab v16
