From 741269fc9302f89a38c62bcb86ce406779b0ec71 Mon Sep 17 00:00:00 2001
From: Baoshuo <i@baoshuo.ren>
Date: Wed, 21 Sep 2022 14:08:14 +0800
Subject: [PATCH] fix: ranklist pagination_table

---
 web/app/libs/uoj-html-lib.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/app/libs/uoj-html-lib.php b/web/app/libs/uoj-html-lib.php
index 642eb13..9f9d791 100644
--- a/web/app/libs/uoj-html-lib.php
+++ b/web/app/libs/uoj-html-lib.php
@@ -1024,5 +1024,6 @@ function echoRanklist($config = array()) {
 	}
 
 	$config['get_row_index'] = '';
+	$config['pagination_table'] = 'user_info';
 	echoLongTable($col_names, $from, $cond, $tail, $header_row, $print_row, $config);
 }