On 28/06/06, Hugh Prior mediawiki@localpin.com wrote:
In 1.6.7 (and following?), the class "MediaWiki" is NOT in the file where I would expect to find it.
No. It's in includes/Wiki.php. I don't see a convincing argument to go changing it.
Rob Church