[Mediawiki-l] Extension manager

[Kasimir Gabert]

Are there any talks of implementing an extension manager and a proper
extension repository?  Something that will allow new versions to be
detected, downloaded, UPGRADE files to be displayed, etc all from one
location?  Something that could also allow enabling, disabling,
installing, and uninstalling extensions?

I would be willing to work on one if there is a demand.

Kasimir

-- 
Kasimir Gabert