Merge "Skin: Avoid redirect=no for links to non-redirects"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Aug 2018 19:49:43 +0000 (19:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Aug 2018 19:49:43 +0000 (19:49 +0000)
commit15f6eff90c305d405fe4331c8a8dc8caa842e5b3
tree437ea871e0716d314941dc5d6b7909a70d091e7b
parente2ee330906db1281c508a1142f4bf12e3398d3ac
parent68babea30124eadc90cd0380a65ddba2fa09fc87
Merge "Skin: Avoid redirect=no for links to non-redirects"
includes/skins/Skin.php