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

Syntax highlighting #31

Closed JeroenDeDauw closed 7 years ago

JeroenDeDauw commented 7 years ago

Continuing from https://github.com/JeroenDeDauw/GitHub/pull/30