diff --git a/lib/outputcomponents.php b/lib/outputcomponents.php
index 3f5b40c014d..5baf3303f87 100644
--- a/lib/outputcomponents.php
+++ b/lib/outputcomponents.php
@@ -1329,10 +1329,6 @@ class html_table {
      * @var string value to use for the id attribute of the table
      */
     public $id = null;
-    /**
-     * @var string $style value to use for the style attribute of the table
-     */
-    public $style = null;
     /**
      * @var array attributes of HTML attributes for the <table> element
      */