Not a bug: phpversion('extension_name') returns false

When phpinfo() can report correct version, this definitely looks like a big bug--open for 5 years