Added to DefaultSettings
authorPriyanka Dhanda <pdhanda@users.mediawiki.org>
Mon, 18 Oct 2010 18:20:19 +0000 (18:20 +0000)
committerPriyanka Dhanda <pdhanda@users.mediawiki.org>
Mon, 18 Oct 2010 18:20:19 +0000 (18:20 +0000)
commit81a5b667a9215338b08b01862f001d7a542c516d
treee1f56198b2844eabe6402367bbb14c3fad70ef76
parent83d1a77196ed7e54dafc91b9a735dc37dfd68183
Added  to DefaultSettings
includes/DefaultSettings.php
includes/diff/DifferenceInterface.php