Merge "SpecialDoubleRedirects: Fix undefined '$result->namespace' notice"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 Aug 2017 22:45:40 +0000 (22:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 Aug 2017 22:45:40 +0000 (22:45 +0000)
commit4112201ef517998de9b29887c306b6c43e6376d3
treee1cfdfc5c8fac5dc280d41ae99803ac2af7ec2f8
parent6a077079d66ac41e9c8d499d4c3e8da1b24313db
parent8acb5869d587dea0ce60af5f216a9f5119c0c00b
Merge "SpecialDoubleRedirects: Fix undefined '$result->namespace' notice"