search

JeroenDeDauw / GitHub

MediaWiki extension that allows embedding the content of files hosted in GitHub git repositories
https://professional.wiki/
Other
32 stars 20 forks source link

Update Setup.php #21

Closed kghbln closed 8 years ago

kghbln commented 8 years ago

Provide missing license label to show on "Special:Version"

JeroenDeDauw commented 8 years ago

Thanks