Fix a PHP erorr when a CRL has no certificates
(cherry picked from commit d9064f0b92452daeaf0cb7f0a0e74561f246ed5b)
Fix a PHP erorr when a CRL has no certificates
(cherry picked from commit d9064f0b92452daeaf0cb7f0a0e74561f246ed5b)