search

JeroenDeDauw / ExtensionInstaller

Tool that allows for easy installation and updating of MediaWiki extensions
GNU General Public License v2.0
7 stars 2 forks source link

Update example.json #4

Closed kghbln closed 10 years ago

kghbln commented 10 years ago

Remove "minimum-stability" : "dev", since this also installs the latest development version. I truly believe that the general audience should not be confronted with development versions.

JeroenDeDauw commented 10 years ago

Sure, this is from before there where any stable releases :)

kghbln commented 10 years ago

Ah, fair enough! Thank you.

kghbln commented 10 years ago

I guess it is safe to tag this a 0.2.2 (the new version is already in ExtensionInstall.php)