/**
  * Load user info from WebEx.
  *
  * @param string       $webexid WebEx ID of the user to get info for.
  * @return array|bool  array of user info, false if failed.
  */
 public static function get_webex_info($webexid)
 {
     $webex = new webex();
     $xml = xml_gen::get_user_info($webexid);
     $response = $webex->get_response($xml);
     if (!$response) {
         // Not found (or maybe another error).
         return false;
     }
     return $response;
 }