TextDiffer.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Diff\TextDiffer;
 
use MediaWiki\Output\OutputPage;
 
interface TextDiffer {
    public const CONTEXT_PLAIN = 'plain';
 
    public const CONTEXT_ROW = 'row';
 
    public const CONTEXT_PRE = 'pre';
 
    public function getName(): string;
 
    public function getFormats(): array;
 
    public function hasFormat( string $format ): bool;
 
    public function getFormatContext( string $format );
 
    public function addRowWrapper( string $format, string $diffText ): string;
 
    public function render( string $oldText, string $newText, string $format ): string;
 
    public function renderBatch( string $oldText, string $newText, array $formats ): array;
 
    public function addModules( OutputPage $out, string $format ): void;
 
    public function getCacheKeys( array $formats ): array;
 
    public function localize( string $format, string $diff, array $options = [] ): string;
 
    public function getTablePrefixes( string $format ): array;
 
    public function getPreferredFormatBatch( string $format ): array;
}