/** * Finishes parent display then closes div and hides it. * * @see \core\progress\display::end_html() */ public function end_html() { parent::end_html(); echo \html_writer::end_div(); echo \html_writer::script('document.getElementById("' . $this->id . '").style.display = "none"'); }