Merge "PageDataRequestHandler: Use getHeader() instead of getAllHeaders()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 May 2018 06:21:13 +0000 (06:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 May 2018 06:21:13 +0000 (06:21 +0000)
commit0b2fb8d196508e6fdcc644c8239cf7a546937504
treebba9a0f388334435d2f7ea5d0bcd839d28372a05
parent384dc90874f5ae495ab0538b9d45534e0a5ff14f
parentafde4611fb16c50765847bd0e93a008dd7870787
Merge "PageDataRequestHandler: Use getHeader() instead of getAllHeaders()"