Partial revert r72527, unrelated/unfinished changes
authorChad Horohoe <demon@users.mediawiki.org>
Tue, 7 Sep 2010 11:37:37 +0000 (11:37 +0000)
committerChad Horohoe <demon@users.mediawiki.org>
Tue, 7 Sep 2010 11:37:37 +0000 (11:37 +0000)
commitab64932ba8e9fd471c7cce17aa4bbc216d3fcf17
tree910cfc8688380abae9820fb055e667856a25d02e
parent26a10e5dae409703046007cef3e6f3b52c2ce637
Partial revert r72527, unrelated/unfinished changes
includes/diff/DifferenceInterface.php