Merge pull request #13111 from eileenmcnaughton/php72Countable
authorMonish Deb <monish.deb@jmaconsulting.biz>
Fri, 16 Nov 2018 11:01:34 +0000 (16:31 +0530)
committerGitHub <noreply@github.com>
Fri, 16 Nov 2018 11:01:34 +0000 (16:31 +0530)
Fix php7.2 notices on trying to count null


Trivial merge