1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
<?php
namespace MediaWiki\Diff\TextDiffer;
use MediaWiki\Language\Language;
use Wikimedia\Diff\Diff;
use Wikimedia\Diff\TableDiffFormatter;
use Wikimedia\Diff\UnifiedDiffFormatter;
/**
* @since 1.41
*/
class PhpTextDiffer extends BaseTextDiffer {
/** @var Language|null */
private $contentLanguage;
public function __construct( ?Language $contentLanguage ) {
$this->contentLanguage = $contentLanguage;
}
public function getName(): string {
return 'php';
}
public function getFormats(): array {
return [ 'table', 'unified' ];
}
public function getFormatContext( string $format ) {
return $format === 'table' ? self::CONTEXT_ROW : self::CONTEXT_PRE;
}
protected function doRenderBatch( string $oldText, string $newText, array $formats ): array {
$language = $this->contentLanguage;
if ( $language ) {
$oldText = $language->segmentForDiff( $oldText );
$newText = $language->segmentForDiff( $newText );
}
$oldLines = explode( "\n", $oldText );
$newLines = explode( "\n", $newText );
$diff = new Diff( $oldLines, $newLines );
$result = [];
foreach ( $formats as $format ) {
switch ( $format ) {
case 'unified':
$formatter = new UnifiedDiffFormatter();
$diffText = $formatter->format( $diff );
break;
default: // 'table':
$formatter = new TableDiffFormatter();
$diffText = $formatter->format( $diff );
break;
}
if ( $language ) {
$diffText = $language->unsegmentForDiff( $diffText );
}
$result[$format] = $diffText;
}
return $result;
}
public function localize( string $format, string $diff, array $options = [] ): string {
return $this->localizeLineNumbers( $diff, $options['reducedLineNumbers'] ?? false );
}
}
|
