Index of /extensions/Wikibase/repo/includes/Dumpers

	Name	Last modified	Size	Description
	Parent Directory		-
	JsonDumpGenerator.php	2020-07-12 15:34	5.5K
	RdfDumpGenerator.php	2020-07-12 15:34	7.4K
	DumpGenerator.php	2020-07-12 15:34	8.4K