Dave Jarvis' Repositories

<?php
require_once __DIR__ . '/../File.php';

interface FileRenderer {
  public function renderListEntry(
    string $name,
    string $sha,
    string $mode,
    string $iconClass,
    int $timestamp,
    int $size
  ): void;

  public function renderMedia(
    File $file,
    string $url,
    string $mediaType
  ): bool;

  public function renderSize( int $bytes ): void;

  public function highlight(
    string $filename,
    string $content,
    string $mediaType
  ): string;

  public function renderTime( int $timestamp ): void;
}