Fix for r51667: external diff is also controlled by $wgUseExternalEditor (see include...
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Thu, 11 Jun 2009 10:49:33 +0000 (10:49 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Thu, 11 Jun 2009 10:49:33 +0000 (10:49 +0000)
commit54ebc9c5900bbaf49a2054a8742cda2a1d0da912
treebbdc459eb4138102d68706fd76674fff0a32fe87
parentb6acef6319e3ebf46731bef4869bc2d2648338b0
Fix for r51667: external diff is also controlled by $wgUseExternalEditor (see includes/diff/DifferenceEngine.php line 107). $wgExternalDiffEngine is used to change the difference engine's backend (wikidiff, wikidiff2, ...) and not to allow users to have their own difference engine.
includes/Preferences.php