Fatal error when inserting new users via update.php

Hi,

I found a bug, when trying to add new users from update.php. The site has a complicated process behind it and when calling update.php (or drush updb) the module's hook_init implementation (simplesamlphp_auth_init) is being called with the following error is being triggered.

An AJAX HTTP error occurred. HTTP Result Code: 200 Debugging information follows. Path: https://my-site.com/update.php?op=selection&token=9oMr3dnyqXy92Gh7ZDWjpaeNQLnSCAE8DRZ0vdh-VbM&id=122736&op=do StatusText: OK ResponseText: Fatal error: Call to a member function isAuthenticated() on a non-object in sites/all/modules/contrib/simplesamlphp_auth/simplesamlphp_auth.module on line 363

It seems that in update.php hook_init() is not being triggered (see the code section below from update.php), and thus SimpleSAMLphp is not being included.

/**
 * Global flag indicating that update.php is being run.
 *
 * When this flag is set, various operations do not take place, such as invoking
 * hook_init() and hook_exit(), css/js preprocessing, and translation.
 */
define('MAINTENANCE_MODE', 'update');

I've attached a patch to fix this, including the SimpleSAMLphp in _simplesamlphp_auth_isEnabled() function. Basically, if the authentication via SimpleSAML is enabled, then also include the files.