/** * Get Back and Home buttons * * @return object - HTML span containing Back and Home buttons. */ function getBackHomeButtons() { //$back = html_button("button", "Back") ; //$back->set_tag_attribute("onclick", "javascript:history.go(-1)") ; //$back->set_style("margin: 10px; vertical-align: middle; width: 90px;") ; //$home = html_button("button", "Home") ; //$home->set_tag_attribute("onclick", "javascript:document.location='/';") ; //$home->set_style("margin: 10px; vertical-align: middle; width: 90px;") ; return html_span(null, FlipTurnGUIButtons::getBackButton(), FlipTurnGUIButtons::getHomeButton()); }