";
$posthref = "";
$newcontent = str_replace($prehref, $posthref, $newcontent);
if (CheckSubFolder($full_file_path.$_user['user_id'].'.t.html') == 0) {
$newcontent = ReplaceImgTag($newcontent);
}
} else {
//my_delete($full_file_path.$_user['user_id'].'.t.html');
$newcontent = $content;
}
WriteFileCont($full_file_path.$_user['user_id'].'.t.html', $newcontent);
/* $prehref="javascript:void(0);";
$posthref=$_configuration['root_web']."main/exercice/Hpdownload.php?doc_url=".$doc_url."&cid=".$cid."&uid=".$uid;
$newcontent = str_replace($prehref,$posthref,$newcontent);
$prehref="class=\"GridNum\" onclick=";
$posthref="class=\"GridNum\" onMouseover=";
$newcontent = str_replace($prehref,$posthref,$newcontent);
*/
$doc_url = GetFolderPath($doc_url).urlencode(basename($doc_url));
// echo $document_web_path.$doc_url.$_user['user_id'].'.t.html';
// exit;
// Adjustung the header's height according to the current visual theme.
// This is not the elegant solution, but it helps for the moment.
$header_heights = array(
'academica' => 105,
'baby_orange' => 105,
'blue_lagoon' => 105,
'chamilo' => 178,
'chamilo_electric_blue' => 178,
'chamilo_green' => 178,
'chamilo_orange' => 178,
'chamilo_red' => 178,
'cool_blue' => 105,
'corporate' => 105,
'cosmic_campus' => 178,
'delicious_bordeaux' => 105,
'dokeos_blue' => 105,
'dokeos_classic' => 105,
'dokeos_classic_2D' => 105,
'empire_green' => 105,
'fruity_orange' => 105,
'medical' => 130,
'public_admin' => 130,
'royal_purple' => 105,
'silver_line' => 105,
'sober_brown' => 130,
'steel_grey' => 105,
'tasty_olive' => 105
);
$header_height = $header_heights[api_get_visual_theme()];
if (empty($header_height)) {
$header_height = 178;
}
?>
<?php echo get_lang('Exercices').' - '.api_get_software_name(); ?>