File: common/controlheader.php