Merge "Add "help" links for Special:BrokenRedirects, Special:DoubleRedirects, and...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Jul 2019 22:16:22 +0000 (22:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Jul 2019 22:16:22 +0000 (22:16 +0000)
commit8963110d01b0f376d900171fe7506fed5df80cf8
tree990481fb4cf020f277734b3290e93c22b347055c
parenta01548df1a16110dbf7cc5a35c3268159b7c245e
parentd88ea9cac30d2372dca7c6bbb07318b8bdf6e68a
Merge "Add "help" links for Special:BrokenRedirects, Special:DoubleRedirects, and Special:ListRedirects"