MDL-85378 Badges: Add option to export recipients list

badges/classes/reportbuilder/local/systemreports/recipients.php

@@ -66,7 +66,7 @@ class recipients extends system_report {
         $this->set_default_no_results_notice(new lang_string('nomatchingawards', 'core_badges'));
 
         // Set if report can be downloaded.
-        $this->set_downloadable(false);
+        $this->set_downloadable(true);
     }
 
     /**

badges/tests/behat/criteria_activity.feature

@@ -122,3 +122,5 @@ Feature: Award badges based on activity completion
     And I select "Recipients (1)" from the "jump" singleselect
     And I should see "Student 1"
     And I should not see "Student 2"
+    And I should see "Download table data as"
+    And "Download" "button" should exist