Page MenuHomePhabricator

Add simple way to get extension version
Closed, ResolvedPublic

Description

Some extensions provide additional features if other extensions are installed. However, extensions change over time, so that you might need to check which version of an extension is installed. ExtensionRegistry should provide an easy way to check this, as it's a common use case that shouldn't be implemented in parallel many times.

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptAug 28 2018, 2:34 AM

Change 455752 had a related patch set uploaded (by MGChecker; owner: MGChecker):
[mediawiki/core@master] registration: Introduce getVersion() function

https://gerrit.wikimedia.org/r/455752

Reedy added a subscriber: Reedy.Aug 28 2018, 2:39 PM

We also aren't consistent as to giving extensions versions, nor are we about bumping/increasing the numbers either

Change 455752 merged by jenkins-bot:
[mediawiki/core@master] registration: Add ability to check if a specific extension version is loaded

https://gerrit.wikimedia.org/r/455752

Legoktm closed this task as Resolved.Sep 4 2018, 12:59 AM
Legoktm added a subscriber: Legoktm.

We also aren't consistent as to giving extensions versions, nor are we about bumping/increasing the numbers either

Right, but this is opt-in for those who do maintain it properly.

Is this worth an entry in the Release notes?