Update WikiBanner.php