.wiki extension as Mediawiki

This commit is contained in:
Paul Chaignon
2015-12-20 13:09:00 +01:00
parent efdc790374
commit 71dfac26fe
2 changed files with 695 additions and 0 deletions

View File

@@ -2108,6 +2108,7 @@ MediaWiki:
wrap: true
extensions:
- .mediawiki
- .wiki
tm_scope: text.html.mediawiki
ace_mode: text