MediaWiki:Gadget-GalleryFilterExtension
From Wikimedia Commons, the free media repository
GalleryFilterExtension: Creates a select to filter image galleries, including categories containing images, by file-extension. [talk]
