<?php

$path_extra = dirname(__FILE__);
$path = ini_get('include_path');
$path = $path_extra;
ini_set('include_path', $path);

/**
 * Require the OpenID consumer code.
 */

require_once "Auth/OpenID/Consumer.php";

/**
 * Require the "file store" module, which we'll need to store OpenID
 * information.
 */

require_once "Auth/OpenID/FileStore.php";

?>