documentation of header.php