/**
* Liefert String zum einbinden externer Datein im html-Document
*
* \param files Array mit Datein die eingebunden werden sollen
*
* \return html-Code zum Einbinden der Datein
*/
function htmlInclude ($files)
{
$text = "";
$path = dirname (__FILE__);
foreach ($files as $file) {
if (preg_match ("/\.js$/", $file)) {
$text .= "\n";
} else {
$text .= "\n";
}
}
return $text;
}
?>