GigDateOfLastEdit.php at GigKalender

<?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 ( $GigDateOfLastEdit ) echo DatumMitUhrzeitAusTimestamp($GigDateOfLastEdit);
  if ( $GigDateOfLastEdit AND $GigLastEditor) echo ' (';
  if ( $GigLastEditor ) echo $GigLastEditor;
  if ( $GigDateOfLastEdit AND $GigLastEditor) echo ')';
?>