Extension:Export by category

From mediawiki.org