MediaWiki:Gadget-GalleryImagesDownloader
Gallery images downloader: Adds a button to card galleries and set card galleries that once clicked downloads all images in the gallery.
Gallery images downloader: Adds a button to card galleries and set card galleries that once clicked downloads all images in the gallery.