original_string: protected function show_time($time, $dateonly, $until = false) {
          // For 'until' dates that are at midnight, e.g. midnight 5 March, it
          // is better to word the text as 'until end 4 March'.
          $daybefore = false;
          if ($until && $dateonly) {
              $daybefore = true;
              $time = strtotime('-1 day', $time);
          }
          return userdate($time,
                  get_string($dateonly ? 'strftimedate' : 'strftimedatetime', 'langconfig'));
      }
code: protected function show_time($time, $dateonly, $until = false) {
          // For 'until' dates that are at midnight, e.g. midnight 5 March, it
          // is better to word the text as 'until end 4 March'.
          $daybefore = false;
          if ($until && $dateonly) {
              $daybefore = true;
              $time = strtotime('-1 day', $time);
          }
          return userdate($time,
                  get_string($dateonly ? 'strftimedate' : 'strftimedatetime', 'langconfig'));
      }
code_tokens: protected function show_time ( $ time , $ dateonly , $ until = false ) { // For 'until' dates that are at midnight, e.g. midnight 5 March, it // is better to word the text as 'until end 4 March'. $ daybefore = false ; if ( $ until && $ dateonly ) { $ daybefore = true ; $ time = strtotime ( '-1 day' , $ time ) ; } return userdate ( $ time , get_string ( $ dateonly ? 'strftimedate' : 'strftimedatetime' , 'langconfig' ) ) ; }
docstring: Shows a time either as a date or a full date and time, according to
  user's timezone.
  
  @param int $time Time
  @param bool $dateonly If true, uses date only
  @param bool $until If true, and if using date only, shows previous date
  @return string Date
docstring_tokens: Shows a time either as a date or a full date and time according to user s timezone .