'; } -function bare_head(): void -{ - echo ''; -} - function page_foot(): void { echo '