Fixing EDIPI variable name

Author: vbhayden

auth.php

@@ -231,7 +231,7 @@ private function attempt_jwt_login() {
      */
     private function get_expected_username($cert) {
 
-        $envUseEDIPI = getenv("MOODLE_JWT_USE_EDIPI_NUMBER");
+        $envUseEDIPI = getenv("MOODLE_JWT_USE_EDIPI");
         $envEDIPIProperty = getenv("MOODLE_JWT_EDIPI_PROPERTY");
 
         $useEDIPI = isset($envUseEDIPI) && strcasecmp($envUseEDIPI, "true");