Merge "Make unused variable optional in ChangesList::insertDiffHist"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 15 Mar 2016 14:52:56 +0000 (14:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 15 Mar 2016 14:52:56 +0000 (14:52 +0000)
commitc340c41b37b5079ba90489f6b212bb8e4642031a
tree44f59755ffbf34443c368975fac4bfd230a065ef
parentd2e79dccc6f61cc89bc2e05b132c7e56340339ba
parentd188ec34bb4e255ab2c45f9acfe3a79f3f056646
Merge "Make unused variable optional in ChangesList::insertDiffHist"
includes/changes/ChangesList.php
includes/changes/OldChangesList.php