????
<?php #auto created by claroline modify it at your own risks if (count( get_included_files() ) == 1) die(); # ---- start of cache ----