HomePhabricator

Merge "Deprecate $wgWikiDiff2MovedParagraphDetectionCutoff"

Description

Merge "Deprecate $wgWikiDiff2MovedParagraphDetectionCutoff"

Details

Provenance
jenkins-botAuthored on May 22 2019, 2:50 PM
Gerrit Code ReviewCommitted on May 22 2019, 2:50 PM
Parents
rMW2eec94991b50: Deprecate $wgWikiDiff2MovedParagraphDetectionCutoff
rMW6071231e9009: Merge "Make some array type hints more specific"
Branches
Unknown
Tags
Unknown
ChangeId
None