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)

Trivial merge