fixed bug in banner.inc.php:updated the php short tag
Merge branch 'master' into ada-api