fixed bug in banner.inc.php:updated the php short tag