dirroot.'/course/lib.php'); if (!is_enabled_auth('cas')) { echo "Plugin not enabled!"; die; } $casauth = get_auth_plugin('cas'); $casauth->sync_users(true);