<?php
/*
    CREATIVE COMMONS - Attribution-No Derivative Works 3.0 Germany:
    - You may not alter, transform, or build upon this work.
    - Dieses Werk darf nicht bearbeitet oder in anderer Weise verändert werden.
*/
  if ($GigDetailsShown) $xxx = date($SetupFrontendCalendarGigDetailsDateFormat, $GigDate);
    else $xxx = date($SetupFrontendCalendarDateFormat, $GigDate);
  echo '<span style="white-space: nowrap;">'.getNameOfWeekday($GigDate).'&nbsp;'.$xxx.'</span>';
?>