"; if(is_file("header.php")) include "header.php"; else include "../header.php"; ?>

Not what I'd hoped it would be Jim Woods' "Two Dozen Lessons From An Editor" is far, far more informative.