Skip to content
Snippets Groups Projects
Select Git revision
  • 28343643c4ceb644b96ccbb31103d59c76ef5b10
  • main default
  • ea654-f058f0d5-patch-e23f
3 results

script.js

Blame
  • menupuller.js 108 B
    javascript:
    var pullCourseMenuButton = document.getElementById("menuPuller");
    pullCourseMenuButton.click();