Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  249c4657f9c995b7093523322f90a4c3719650cb
null
Add ability to customize the proxy we pass to MWHttpRequest

Change-Id: I3e9897da95f9513afcf412848e7ebc4af6ed3e94
Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  05ec8cddfe3282b0a7c2f502aab1b8d29ad339ac
null
Clean up config docs and set defaults to false

Change-Id: I4b7d97f2bb0fa324b01f83fbdadf3ef93be92689