1) add new preference: use external diffs (uses same framework as external
authorErik Moeller <erik@users.mediawiki.org>
Tue, 12 Apr 2005 03:36:20 +0000 (03:36 +0000)
committerErik Moeller <erik@users.mediawiki.org>
Tue, 12 Apr 2005 03:36:20 +0000 (03:36 +0000)
commite7b1a9e8e3b76daa1e2735864ce9800a98307e88
tree3e0267ba10b3b891278995d95043143b8fcd2148
parent813fd1db1aa9753e98ca32398bc1433a1acca088
1) add new preference: use external diffs (uses same framework as external
   editors)
2) support for external diffs
3) shuffle some user preferences around
includes/DifferenceEngine.php
includes/ExternalEdit.php
includes/SpecialPreferences.php
languages/Language.php