header.php defined