File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 725725 if ( universityName === null ) {
726726 universityName = await showUniversityPicker ( ) ;
727727 }
728-
729- GM . registerMenuCommand ( "Changer l'universite" , async ( ) => {
730- universityName = await showUniversityPicker ( ) ;
731- location . reload ( ) ;
732- } ) ;
733-
728+ if ( typeof GM !== "undefined" && typeof GM . registerMenuCommand === "function" ) {
729+ GM . registerMenuCommand ( "Changer l'universite" , async ( ) => {
730+ universityName = await showUniversityPicker ( ) ;
731+ location . reload ( ) ;
732+ } ) ;
733+ } else if ( typeof GM_registerMenuCommand === "function" ) {
734+ GM_registerMenuCommand ( "Changer l'universite" , async ( ) => {
735+ universityName = await showUniversityPicker ( ) ;
736+ location . reload ( ) ;
737+ } ) ;
738+ }
734739 try {
735740 unsafeWindow . setUniversityName = async ( name ) => {
736741 if ( name === undefined ) {
You can’t perform that action at this time.
0 commit comments