openid/php-openid — comment on commit 1787658d1572edd3b0cdef0bd8c307e7b37384ea
File: examples/detect.php line 318
By drak:

I think you need to use `extension_loaded()`.