[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Added $wgHTTPImportTimeout setting

2017-01-02 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/330171 ) Change subject: Added $wgHTTPImportTimeout setting .. Added $wgHTTPImportTimeout setting Bug: T17000 Change-Id: Ic97ae4faec173c

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Added $wgHTTPImportTimeout setting

2017-01-02 Thread Filip (Code Review)
Filip has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/330171 ) Change subject: Added $wgHTTPImportTimeout setting .. Added $wgHTTPImportTimeout setting Bug: T17000 Change-Id: Ic97ae4faec173c32af38df455483