MediaWiki:Gadget-GalleryFilterExtension/de
Jump to navigation
Jump to search
GalleryFilterExtension: Erzeugt ein Filter-Auswahlfeld für Dateiendung auf Galerien und Kategorien. [talk]
GalleryFilterExtension: Erzeugt ein Filter-Auswahlfeld für Dateiendung auf Galerien und Kategorien. [talk]