diff --git a/lib/outputcomponents.php b/lib/outputcomponents.php index 670dc93a244..7376e73003d 100644 --- a/lib/outputcomponents.php +++ b/lib/outputcomponents.php @@ -1735,7 +1735,7 @@ class html_table_cell { */ public $style = null; /** - * @var array attributes of additional HTML attributes for the