/**
  * Finishes parent display then closes div and hides it.
  *
  * @see core_backup_display_progress::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"');
 }