1) actually do what it says (only use external diff when set in user prefs)
authorErik Moeller <erik@users.mediawiki.org>
Wed, 13 Apr 2005 21:06:09 +0000 (21:06 +0000)
committerErik Moeller <erik@users.mediawiki.org>
Wed, 13 Apr 2005 21:06:09 +0000 (21:06 +0000)
commit8a3c7e3e8913e2040c84b1466a9a73c5e31a7047
treed70ff40253f789e7be5457c7b7c6c1e8fd15df65
parentda025175fc7ff36fa491649b1348471cad31d067
1) actually do what it says (only use external diff when set in user prefs)
2) fix metafile (Special namespace is transferred, it's up to the script
whether it wants to log in, not really needed for diffs, though perhaps if
rollback etc. is to be implemented)
includes/DifferenceEngine.php