mirror of
https://github.com/renbaoshuo/S2OJ.git
synced 2024-11-22 14:08:42 +00:00
feat: head_pagination
This commit is contained in:
parent
6926a6f912
commit
03ba52b90d
@ -166,6 +166,10 @@ function echoLongTable($col_names, $table_name, $cond, $tail, $header_row, $prin
|
|||||||
$div_classes = isset($config['div_classes']) ? $config['div_classes'] : array('table-responsive');
|
$div_classes = isset($config['div_classes']) ? $config['div_classes'] : array('table-responsive');
|
||||||
$table_classes = isset($config['table_classes']) ? $config['table_classes'] : array('table', 'table-bordered', 'table-hover', 'table-striped', 'table-text-center');
|
$table_classes = isset($config['table_classes']) ? $config['table_classes'] : array('table', 'table-bordered', 'table-hover', 'table-striped', 'table-text-center');
|
||||||
|
|
||||||
|
if (isset($config['head_pagination']) && $config['head_pagination']) {
|
||||||
|
echo $pag->pagination();
|
||||||
|
}
|
||||||
|
|
||||||
echo '<div class="', join($div_classes, ' '), '">';
|
echo '<div class="', join($div_classes, ' '), '">';
|
||||||
echo '<table class="', join($table_classes, ' '), '">';
|
echo '<table class="', join($table_classes, ' '), '">';
|
||||||
echo '<thead>';
|
echo '<thead>';
|
||||||
|
Loading…
Reference in New Issue
Block a user