PageDataRequestHandler: Use getHeader() instead of getAllHeaders()
authorFomafix <fomafix@googlemail.com>
Fri, 23 Feb 2018 08:58:11 +0000 (09:58 +0100)
committerLegoktm <legoktm@member.fsf.org>
Wed, 23 May 2018 06:05:47 +0000 (06:05 +0000)
commitafde4611fb16c50765847bd0e93a008dd7870787
tree4ded0f0702722a52d2d8706cfb0c9f7ddbfeaa5f
parente03b96c9a474831fb1b1d1fc1e6cd2de496dc251
PageDataRequestHandler: Use getHeader() instead of getAllHeaders()

WebRequest has already the function getHeader to extract the requested
HTTP header.

Change-Id: Ifb63ce2ca8851cddf7e5e249509d60fd3620c3e7
includes/linkeddata/PageDataRequestHandler.php