1 files changed, 13 insertions, 0 deletions
diff --git a/mod/openid_api/lib/openid_server.php b/mod/openid_api/lib/openid_server.php
new file mode 100644
index 000000000..79ed064b4
--- /dev/null
+++ b/mod/openid_api/lib/openid_server.php
@@ -0,0 +1,13 @@
+<?php
+/**
+ * OpenID library loader for servers
+ */
+
+$openid_path = dirname(dirname(__FILE__)) . '/vendors/php-openid/';
+$path = ini_get('include_path');
+$path = $openid_path . PATH_SEPARATOR . $path;
+ini_set('include_path', $path);
+
+require_once 'Auth/OpenID.php';
+require_once 'Auth/OpenID/Server.php';
+require_once 'Auth/OpenID/SReg.php';