b65c618f2d
Why is “wiki” always capitalized? It’s not a proper name. Change-Id: I55941f192e149dc93a6576e5ca21edac78299cb4 |
||
|---|---|---|
| .. | ||
| mediawiki | ||
| Configuration_mediawiki.mk | ||
| Extension_wiki-publisher.mk | ||
| Jar_mediawiki.mk | ||
| Makefile | ||
| Module_swext.mk | ||
| README | ||
Writer extensions (currently only MediaWiki Extension).