Hello,
I'm helping someone use my OpenID patch with MediaWiki, and it seems that MediaWiki can't easily be used with things in the standard PHP include path. These two lines in LocalSettings.php are the culprit:
$path = array( $IP, "$IP/includes", "$IP/languages" ); set_include_path( implode( PATH_SEPARATOR, $path ) );
So, if /usr/share/php is in the PHP include path, it'll get blown away. Is MediaWiki so self-sufficient that this has never stepped on efforts to include things in, say, PEAR? Is modifying the above code an acceptable way to customize a given MediaWiki install if things in /usr/share/php are needed? Any advice would be appreciated.
Thanks!
Jonathan Daugherty wrote:
I'm helping someone use my OpenID patch with MediaWiki, and it seems that MediaWiki can't easily be used with things in the standard PHP include path.
If you need to include something outside, change the include_path as per your whim.
-- brion vibber (brion @ pobox.com)
wikitech-l@lists.wikimedia.org