Aaron Schulz has submitted this change and it was merged. Change subject: Use WebRequest instead of $_SERVER in OutputPage. ......................................................................
Use WebRequest instead of $_SERVER in OutputPage. Also moved debug string generation a bit lower so that it's executed only when it will actually be used. Change-Id: Ia01e7fb1dba1f2f55c156d3ac097acf2a68dca70 --- M includes/OutputPage.php 1 file changed, 12 insertions(+), 11 deletions(-) Approvals: Aaron Schulz: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/16038 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia01e7fb1dba1f2f55c156d3ac097acf2a68dca70 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: IAlex <[email protected]> Gerrit-Reviewer: Aaron Schulz <[email protected]> Gerrit-Reviewer: Anomie <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
