On 28/06/06, Hugh Prior <mediawiki(a)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