mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-23 23:44:53 +00:00
db2669d7a0
GNU diff and mediawiki's internal UnifiedDiffFormatter do not have the same default formats. Here we adjust the output of the internal diff to match gnu diff as is expected by DiscussionParser. Bug: 41689 Change-Id: Ib83cacab41adfbdfa8e122c0494b266d4caefc83 |
||
---|---|---|
.. | ||
DbEchoBackend.php | ||
DbEmailBatch.php | ||
DbEmailBundler.php | ||
DiscussionParser.php | ||
EchoBackend.php | ||
EchoDbFactory.php | ||
EmailBatch.php | ||
EmailBundler.php |