get_toc(); $is_allowed_to_edit = api_is_allowed_to_edit(null, true, false, false); if ($is_allowed_to_edit) { echo '