Index of /resources/src/mediawiki.base

	Name	Last modified	Size	Description
	Parent Directory		-
	mediawiki.base.js	2023-09-28 18:30	23K
	log.js	2023-09-28 18:30	3.5K
	legacy.wikibits.js	2023-09-28 18:30	0
	errorLogger.js	2023-09-28 18:30	2.6K