In 1.6.7 (and following?), the class "MediaWiki" is NOT in the file where I would expect to find it.
Sure, I eventually found it, but it ain't so easy since at the point of declaration you just get a line like: $mediaWiki = new MediaWiki();
Now, given that:
The Article class is in Article.php. The BagOStuff class is in BagOStuff.php. The CacheManger class is in CacheManager.php. and so forth,
why cannot the file for the MediaWiki class be in a file called MediaWiki.php?
Dunno if this is already done in future releases, or whether I need to raise a feature request bug, or whether a winge here will make someone sit up and do the necessary?
Hugh
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
"Rob Church" robchur@gmail.com wrote in message news:e92136380606280736h3e023e2as4d1eabd967e41687@mail.gmail.com...
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.
Consistency. Ease of use for those who don't know the code as well as you.
Stuff like that.
OK, if these don't matter in your programming, and somehow I need to "create a convincing argument", I can see I'm on a lost cause.
If it's not glaringly obvious which is preferable between the two following I really despair of what more could say: 69 classes have the class name the same as the filename. 1 class has the class name different from the filename. and 70 classes have the class name the same as the filename.
mediawiki-l@lists.wikimedia.org