Merge "Improve some timeout docs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 25 Aug 2017 19:56:48 +0000 (19:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 25 Aug 2017 19:56:48 +0000 (19:56 +0000)
commit985f425a8016767b032c2335d25e2c4c636c9e27
tree76c10fcc53fa40f76c4ba92f7a691414d2ec2740
parent8be3601afbedecc2b6a766e50c53c5cd6440e43b
parent2f72285267eee749dfe0389deccb60a9bfe88bff
Merge "Improve some timeout docs"
includes/DefaultSettings.php