';
if (isset($_SESSION['editHistory'])) {
$output .= "
".$_SESSION['editHistory'][1]."
";
unset($_SESSION['editHistory']);
}
return $output;
}
/**
* Prints the header element of an HTML page.
*
* @param string $title Title of the page.
* @param string $helpText Additional help text for the page. Optional.
*
* @return string
*/
function printBackendHeader(string $title = "Home", string $helpText = ""):string {
$output = '
' . $title . '
';
if ($helpText) $output .= '
?
' . $helpText . '
';
$output .= '
';
return $output;
}
/**
* Returns HTML code for a help icon and its attached tooltip.
*
* @param string $tooltipName Name / ID of the tooltip to generate.
* @param string $title Title to print in the tooltip.
* @param string $helpText Text to print into the tooltip.
*
* @return string
*/
function generateHelpToolTip(string $tooltipName, string $title, string $helpText):string {
$output = '
' . $helpText . '
';
return $output;
}
/**
* Prints the navigation for the backend.
*
* @param string[] $translations Translation variable.
* @param integer[] $numbers Count of the given values.
*
* @return string
*/
function printBackendNav(array $translations, $numbers = []):string {
$output = '
';
return $output;
}
/**
* Prints the finishing elements of an HTML page.
*
* @return string
*/
function printBackendEnd():string {
$output = '