Index of /extensions/WikibaseMediaInfo/resources/base

	Name	Last modified	Size	Description
	Parent Directory		-
	ComponentWidget.js	2020-07-12 15:34	18K
	DOMLessGroupWidget.js	2020-07-12 15:34	1.1K
	index.js	2020-07-12 15:34	148