Index of /mediawiki/extensions/MobileFrontend/resources/mobile.special.mobileoptions.scripts

	Name	Last modified	Size	Description
	Parent Directory		-
	checkbox.mustache	2017-01-11 14:41	263
	mobileoptions.js	2017-01-11 14:41	1.8K