Demon has submitted this change and it was merged. Change subject: Add ability to customize the proxy we pass to MWHttpRequest ......................................................................
Add ability to customize the proxy we pass to MWHttpRequest Change-Id: I3e9897da95f9513afcf412848e7ebc4af6ed3e94 --- M ExtensionDistributor.php M SpecialExtensionDistributor.php 2 files changed, 16 insertions(+), 5 deletions(-) Approvals: Demon: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/42933 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3e9897da95f9513afcf412848e7ebc4af6ed3e94 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/ExtensionDistributor Gerrit-Branch: master Gerrit-Owner: Demon <[email protected]> Gerrit-Reviewer: Aaron Schulz <[email protected]> Gerrit-Reviewer: Demon <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
