MediaWiki:Gadget-GalleryFilterExtension/de

From Wikimedia Commons, the free media repository
Jump to: navigation, search

GalleryFilterExtension: Erzeugt in Galerien ein Auswahlfeld für die Dateiendung mit dessen Hilfe gefiltert werden kann.