Kasimir Gabert wrote:
I don't really see the advantage to combining
them.
I don't see the extension manager being the extension class, it just
handles things like extensions registering with the wiki. It makes
sense to me that if the manager handles updates and such, it should
handle initial registration. The manager is the glue that connects all
the extensions to the wiki.
In fact, something like $wghooks probably should be part of some other
class (without looking through the code base, I'm not sure where
exactly) but the manager should at least delegate to that class. But
the gory details of what currently happens in an extension's main php
file should be centered in the manager.
My main point, though, is to encourage folks to think of this thing in
OO terms and try to steer away from more global variables and more
dependencies in LocalSettings.php.
Mike