Merge "Safe replacement of a lot of `!count()` with `=== []`"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 Jan 2019 07:03:47 +0000 (07:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 Jan 2019 07:03:47 +0000 (07:03 +0000)
commit3082005f0043c3a37bee5fb91938bf4df03a2696
tree2e11a0999252ff3cbd564ce44ccede52971fac0d
parentbda1de61c2635489689add8e69f148c1271230c3
parent734a969d5506a80ceabfa2bc61bda79f76d73d5f
Merge "Safe replacement of a lot of `!count()` with `=== []`"
includes/clientpool/SquidPurgeClientPool.php
includes/libs/filebackend/FileBackend.php