<?php
declare(strict_types=1);
namespace MRBS;

function print_theme_footer()
{
  echo "</div>\n";  // closing the contents div, opened in print_theme_header()
  echo "</body>\n";
  echo "</html>\n";
}
