Manual:$wgDiffEngine/pl
Appearance
| Content handlers and storage: $wgDiffEngine | |
|---|---|
| Specify the difference engine to use. |
|
| Wprowadzono w wersji: | 1.34.0 (Gerrit change 548763; git #f3058c81) |
| Usunięto w wersji: | nadal w użyciu |
| Dozwolone wartości: | string or null |
| Domyślna wartość: | null |
| Inne ustawienia: Alfabetycznie | Według funkcji | |
Szczegóły
Specify the difference engine to use.
Supported values:
- 'external' - Use an external diff engine, which must be specified via $wgExternalDiffEngine
- 'wikidiff2' - Użyj rozszerzenia PHP wikidiff2
- 'php' - PHP implementations included in MediaWiki
The default (null) is to use the first engine that's available.