Minor UI changes.

main/gradebook/index.php

@@ -782,11 +782,13 @@ if ($category != '0') {
     }
 }
 
-echo Display::url(
-    get_lang('ReportToPdf'),
-    api_get_self()."?".api_get_self()."&action=export_table",
-    ['class' => 'btn btn-default']
-);
+if (!api_is_allowed_to_edit(null, true)) {
+    echo Display::url(
+        get_lang('ReportToPdf'),
+        api_get_self()."?".api_get_self()."&action=export_table",
+        ['class' => 'btn btn-default']
+    );
+}
 
 echo '</div>';
 

main/gradebook/lib/fe/gradebooktable.class.php

@@ -19,6 +19,7 @@ class GradebookTable extends SortableTable
     private $evals_links;
     public $cats;
     private $dataForGraph;
+    public $exportToPdf;
 
     /**
      * Constructor