Merge "Compare selected revisions on history page is marked with a class"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Mar 2019 00:11:32 +0000 (00:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Mar 2019 00:11:32 +0000 (00:11 +0000)
commit031b1fca77b79c729c156cda89e37ab2007861e4
tree243e02e8a19bf81205b5a82e8e09abdb3debf8ef
parent9f0b2f35c3aecea9ec687dd77c1f12fb679052b1
parent8fb2ac1b283287c6a26dc74fcdfd18eaa5509b30
Merge "Compare selected revisions on history page is marked with a class"
includes/actions/pagers/HistoryPager.php