"Preilly" posted a comment on MediaWiki.r111788. URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/111788#c31169
Commit summary for MediaWiki.r111788: Followup r111777, fixed mixed indentation caused by copy/paste fail Preilly's comment: Also, are we supposed to use $_SERVER directly? Or, is it best to use $wgRequest->getHeader? _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
