<?php

require_once(ROOT_DIR . 'plugins/Authentication/CAS/CAS.php');
require_once(ROOT_DIR . 'plugins/Authentication/CAS/CAS-1.3.8/CAS.php');
require_once(ROOT_DIR . 'plugins/Authentication/CAS/CASOptions.php');
require_once(ROOT_DIR . 'plugins/Authentication/CAS/CASConfigKeys.php');
