Index of /extensions/CodeMirror/resources/mode/mediawiki

	Name	Last modified	Size	Description
	Parent Directory		-
	img/	2020-07-12 15:29	-
	mediawiki.css	2020-07-12 15:33	6.5K
	mediawiki.js	2020-07-12 15:33	33K
	tests/	2020-07-12 15:33	-