Pablo-WMDE added a comment.
Interestingly, there is a polyfill in mediawiki-vendor that knows how to do it right https://github.com/wikimedia/mediawiki-vendor/blob/71024a7/ralouphie/getallheaders/src/getallheaders.php#L15 It's presence also explains why `getallheaders` is available on my system even though the docs <https://www.php.net/manual/en/function.getallheaders.php> say it's "an alias for apache_request_headers()". TASK DETAIL https://phabricator.wikimedia.org/T245535 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Pablo-WMDE Cc: WMDE-leszek, Tonina_Zhelyazkova_WMDE, Michael, Lucas_Werkmeister_WMDE, Aklapper, Pablo-WMDE, Sarai-WMDE, darthmon_wmde, Nandana, Lahi, Gq86, GoranSMilovanovic, QZanden, LawExplorer, _jensen, rosalieper, Scott_WUaS, Wikidata-bugs, aude, Lydia_Pintscher, Mbch331
_______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs