Merge "Prepare DiffRenderer to changed parameters for wikidiff2 1.8.0"
authorWMDE-Fisch <christoph.jauera@wikimedia.de>
Mon, 27 Aug 2018 08:47:59 +0000 (08:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 27 Aug 2018 08:47:59 +0000 (08:47 +0000)
commit314258f3d3c85b55584201e4d65bb2dbbf46bff6
tree32ca64ed22839e117880897b46a5a10883185069
parent809fd6b9b5bc3dfea6eeb65b589335bcebcace5c
parent763129619c31d12f9178704545596a4781ba85bd
Merge "Prepare DiffRenderer to changed parameters for wikidiff2 1.8.0"