Page MenuHomePhabricator

Prepare threshold change in local settings
Closed, ResolvedPublic2 Estimated Story Points

Description

Motivation
Wikidiff2 has a threshold in place, that decides if two paragraphs are considered the same (but maybe changed), or different. It is possible that this threshold could be tuned for specific languages. In order to allow wikis to do so for their language, the threshold is an ini setting in the local settings.

Task
Prepare everything, so we can add the ini setting with its initial value on April 4th with the other parts of the deploy

Event Timeline

Lea_WMDE set the point value for this task to 2.
Lea_WMDE renamed this task from PLACEHOLDER TICKET: Prepare threshold change in local settings to Prepare threshold change in local settings.Mar 21 2018, 11:40 AM
Lea_WMDE updated the task description. (Show Details)
tstarling claimed this task.
tstarling subscribed.

wikidiff2 configuration settings are now available as $wgWikidiff2Options in MediaWiki.