Merge "Deprecate $wgWikiDiff2MovedParagraphDetectionCutoff"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 May 2019 14:50:35 +0000 (14:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 May 2019 14:50:35 +0000 (14:50 +0000)
commitefaea6cc0e77ffad71e75621598a1fac55423d48
tree7335c486d5e53791cc2be83f005a592ff4deb37d
parent6071231e9009380a28805805d1e036a6767e1f2a
parent2eec94991b50945a78336e8cad01c368114dd3d9
Merge "Deprecate $wgWikiDiff2MovedParagraphDetectionCutoff"