diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2018-01-23 17:26:12 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-01-23 17:26:12 +0000 |
| commit | 5bf7087cefdb77daaefd7a488ae68cae60b3e406 (patch) | |
| tree | c91bd09fafde9daca72a349a2e359c1cb24cb778 /maintenance/updateSearchIndex.php | |
| parent | acc6b6b61680beb88856d9c700467eb8532c4b8e (diff) | |
| parent | cd58ffbaf58d5676b7405cf17c0dc32c51b3da2c (diff) | |
| download | mediawikicore-5bf7087cefdb77daaefd7a488ae68cae60b3e406.tar.gz mediawikicore-5bf7087cefdb77daaefd7a488ae68cae60b3e406.zip | |
Merge "rdbms: make LoadBalancer::waitForAll() better respect the timeout"
Diffstat (limited to 'maintenance/updateSearchIndex.php')
0 files changed, 0 insertions, 0 deletions