Merge "Diff and history link separated via CSS"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 1 Nov 2018 04:04:46 +0000 (04:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 1 Nov 2018 04:04:46 +0000 (04:04 +0000)
commit102bfd66c84dbb9b690c78ad0c3975b7dc8f1a0a
treebe16c193cbaf263c6ed9f72382351322aaea95f9
parent07850059ee02d75cb69a22a9073779d399aaa7d8
parent5494b985ac82460140cf9142eeb98093a136d2e8
Merge "Diff and history link separated via CSS"
includes/specials/pagers/ContribsPager.php
languages/i18n/en.json
languages/i18n/qqq.json
resources/Resources.php