MediaWiki:Gadget-copyCategoryMembers

copyCategoryMembers - add an option to category pages to create an easily-copyable list of all members of the category. Available in the "More" dropdown.