Merge "RedirectSpecialArticle: Fix PHP notice about undefined index"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 21 Aug 2019 10:43:03 +0000 (10:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 21 Aug 2019 10:43:03 +0000 (10:43 +0000)
commit106d0ed034484f96d7f1247932e2754e47848fdf
treec63e6d16f25a4cf93efcd8fcd8ef699f5c8e4bf7
parent2fa6466209eb88dcd2def8458a1272ecab159566
parent577c8d0cb75ee567c4a69779469f82299caaef1e
Merge "RedirectSpecialArticle: Fix PHP notice about undefined index"