/**
 * Prints Exection Statistics
 *
 * prints out the execution time and the databse queries
 */
function execution_stats()
{
    global $start_time;
    return '<div class="execution_stats">' . WT_I18N::translate('Execution time: %1$s seconds. Database queries: %2$s. Memory usage: %3$s KB.', WT_I18N::number(microtime(true) - $start_time, 3), WT_I18N::number(WT_DB::getQueryCount()), WT_I18N::number(memory_get_peak_usage(true) / 1024)) . '</div>';
}