fix ci

BruceGoodGuy · Oct 7, 2024 · 7a3678f · 7a3678f
1 parent 31bb1f1
commit 7a3678f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib.php b/lib.php
@@ -70,7 +70,7 @@ public function supports_repositories() {
      *
      * @param string $elementid
      * @param array $options
-     * @param null|array $fpoptions
+     * @param array $fpoptions
      */
     public function use_editor($elementid, ?array $options = null, ?array $fpoptions = null) {
         global $PAGE, $OUTPUT;