JeroenDeDauw ExtensionInstaller issues - Githubissues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

MediaWiki 1.25

#5 JonasGroeger opened 9 years ago
1
Update example.json

#4 kghbln closed 10 years ago
3
Lacking system test

#3 JeroenDeDauw opened 10 years ago
0
install path of extensions

#2 kghbln closed 10 years ago
4
Adding file documentation and internationalization support

#1 kghbln closed 10 years ago
4