Index of /mediawiki/extensions/SemanticResultFormats_old/formats/gallery

	Name	Last modified	Size	Description
	Parent Directory		-
	Gallery.php	2018-09-07 15:30	13K
	resources/	2018-09-07 15:30	-