Extra functions for the WebAuth Drupal module