/**
* Outputs the board stats for a standard board.
*
* @param array $board Current board information.
*/
function template_bi_board_stats($board)
{
global $txt;
echo '
<dl class="pairs pairs--rows">
<dt>', $txt['posts'], '</dt>
<dd>', comma_format($board['posts']), '</dd>
</dl>
<dl class="pairs pairs--rows">
<dt>', $txt['board_topics'], '</dt>
<dd>', comma_format($board['topics']), '</dd>
</dl>';
}