Manual:$wgExternalDiffEngine
Content handlers and storage: $wgExternalDiffEngine | |
---|---|
Name of the external diff engine to use. |
|
Introducido en la versión: | 1.6.0 (r12987) |
Eliminado en la versión: | aún se usa |
Valores permitidos: | (string) or false |
Valor predeterminado: | false |
Otras configuraciones: Alfabéticamente | Por Función |
Detalles
Name of the external diff engine to use, or false to use the internal engine.
The possible values are:
false
- wikidiff2 if available, PHP implementation else.'wikidiff2'
- Wikimedia's fast difference engine implemented as a PHP/HHVM module.'wikidiff'
y'wikidiff3'
- treated as false for backwards compatibility.
- any other string is treated as a path to external diff executable.
Este ajuste reemplaza $wgUseExternalDiffEngine .