MediaWiki:Gadget-GalleryFilterExtension

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

GalleryFilterExtension: Creates a select to filter image galleries, including categories containing images, by file-extension. [talk]