Manuel:$wgWikidiff2Options
Appearance
| Gestionnaires de contenu et sauvegarde: $wgWikidiff2Options | |
|---|---|
| Options pour wikidiff2 |
|
| Introduit dans la version : | 1.41.0 (Gerrit change 936135; git #2ed4e600) |
| Retiré dans la version : | Encore utilisé |
| Valeurs autorisées : | Non renseigné |
| Valeur par défaut : | [] |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
Options pour wikidiff2:
useMultiFormat- (bool) Indique s'il faut utiliser la fonctionwikidiff2_multi_format_diff()quand elle est disponible. La valeur par défautfalseest temporaire durant la migration vers le nouveau code. Disponible dans wikidiff2 1.14+.
Les options suivantes ne sont valables que si la fonction wikidiff2_multi_format_diff() est activée.
Voir README.md de wikidiff2 pour les détails concernant :
numContextLineschangeThresholdmovedLineThresholdmaxMovedLinesmaxWordLevelDiffComplexitymaxSplitSizeinitialSplitThresholdfinalSplitThreshold
Aussi :
formatOptions– Tableau de redéfinitions spécifiques au format. La clé peut être "inline" ou "table" et la valeur est un tableau avec les clés numContextLines, changeThreshold, etc.