Merge "DifferenceEngine: Autodetect if wikidiff2 is installed"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Jul 2016 21:17:40 +0000 (21:17 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Jul 2016 21:17:40 +0000 (21:17 +0000)
commitb2f295eb6dcc08373b86c718700985dc9fdedbc8
tree5bcd2d34a1925ad7ccd4c238e4dbcf35defc20dd
parent3f564683b4e5c8ae919f314d68b6d534e3c29415
parent037f056e0e7d11c6ff9a8226289caf2d8b3dfb57
Merge "DifferenceEngine: Autodetect if wikidiff2 is installed"
includes/diff/DifferenceEngine.php