<?php

if ( ! isset( $wp_did_header ) ) {

	$wp_did_header = true;

}