PHP libraries for a MediaWiki extension


I’m trying to install a MediaWiki extension. (It’s the first of a few, and others might need certain PHP things too, but for the moment it’s just this one.) It’s OpenID ( ).

My wiki is MediaWiki: 1.9.3
PHP: 5.2.1 (cgi-fcgi)

General question: how can I find out if a particular PHP library is installed?

extension requirements:

The software depends on the PHP library for OpenID, which in turn depends on the PHP library for YADIS. At the time of this writing, info on installing these libraries was available here:

The OpenID should install the Yadis library as well, if you install it using Pear. There are also some required extensions; see the OpenIDEnabled documentation for details. This software has been tested with the gmp and curl extension installed, and it’s recommended that you install them, too.

So I think I need gmp, curl, Yadis, OpenIDEnabled. I installed OpenIDEnabled via PEAR ( ) which should cover OpenIDEnabled and Yadis - but I don’t know how to check.

in my MediaWiki LocalSettings.php I have this:

ini_get( ‘include_path’ ) . PATH_SEPARATOR . “/home/briannalaugher/pear/php”

/* needed because of PHP5 PEAR stuff. this says ‘use my local PEAR’ (I think) */
get_include_path() .
PATH_SEPARATOR . ‘/usr/local/lib/php’

Now. when I try to use the extension, it just says ‘Verification of the OpenID URL failed.’ and I don’t know how to find out what’s going wrong, where. But if I can get these PHP libraries sorted out first, that would be great.

thanks in advance for any advice!