Merge "DRY up rev link generation in History and Contributions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Mar 2019 00:12:14 +0000 (00:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Mar 2019 00:12:14 +0000 (00:12 +0000)
commit832809c9c91cdd6ee0efee88b944fc3caeb68c43
tree8ff0ff497f56708bb96f3fa62fb412acec44fed2
parent031b1fca77b79c729c156cda89e37ab2007861e4
parentea0a8e4e5c2c242ab4a36bba3e5675251bab2270
Merge "DRY up rev link generation in History and Contributions"
includes/actions/pagers/HistoryPager.php