/**
* 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"');
}
