"backend extension" header setzen

hi,

ich bin gerade dabei eine backend extension zu schreiben. ich bin aber verzweifelt auf der suche nach einer funktion mit der ich den header setzen kann.

ich erstelle in der extension eine datei welche dann mit hilfe des headers downgeloadet werden kann.
in der art:
http://www.php-faq.de/q/q-datei-download.html

viele grüße
marc

das sollte kein Problem sein, ich mach das auch in BE-Ectensions nach dem Muster:

(am Anfang von der main)

if($_GET['xyz') {
  header(...);
  echo $file;
  exit;
}