Jump to content

Manuel:$wgWikidiff2Options

From mediawiki.org
This page is a translated version of the page Manual:$wgWikidiff2Options and the translation is 100% complete.
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 :[]

Détails

Options pour wikidiff2 :

  • useMultiFormat - (bool) Indique s'il faut utiliser la fonction wikidiff2_multi_format_diff() quand elle est disponible. La valeur par défaut false est 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 :

  • numContextLines
  • changeThreshold
  • movedLineThreshold
  • maxMovedLines
  • maxWordLevelDiffComplexity
  • maxSplitSize
  • initialSplitThreshold
  • finalSplitThreshold

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.