<?php

/**
 * This exception is thrown if the user doesn't have enough rights
 * to display the page.
 *
 * @author Thomas Schwery <thomas.schwery@epfl.ch>
 */
class AccessDeniedException extends Exception {
    
}
?>
