dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd5e19a) | patch
DifferenceEngine: Autodetect if wikidiff2 is installed
authorKunal Mehta <legoktm@member.fsf.org>
Sat, 2 Jul 2016 00:01:09 +0000 (17:01 -0700)
committerKunal Mehta <legoktm@member.fsf.org>
Sat, 2 Jul 2016 23:19:07 +0000 (16:19 -0700)
commit037f056e0e7d11c6ff9a8226289caf2d8b3dfb57
tree1711b7eda3909fa3fd02111b6965898a6b479a03tree | snapshot
parentdd5e19a37be6f0dab3fd629f3413a07903995ad7commit | diff
DifferenceEngine: Autodetect if wikidiff2 is installed

If wikidiff2 is installed, use it for diffing without requiring
$wgExternalDiffEngine to be set to 'wikidiff2'.

Also add some extra sanity-checking by coercing all non-string values to
false and make sure the custom diff executable passes `is_executable()`.

Change-Id: I32b670ebf613be9f1c034d65d006829a215614da
includes/DefaultSettings.php diff | blob | history
includes/diff/DifferenceEngine.php diff | blob | history
Wiklou, le Wiki du Wiklou