From c77c40c341360b14086d0521e4e1071d268976d4 Mon Sep 17 00:00:00 2001
From: Baoshuo <i@baoshuo.ren>
Date: Fri, 14 Oct 2022 16:21:50 +0800
Subject: [PATCH] feat(web/ranklist): drop bs4

---
 web/app/controllers/ranklist.php | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/web/app/controllers/ranklist.php b/web/app/controllers/ranklist.php
index 6f590e5..ac523c2 100644
--- a/web/app/controllers/ranklist.php
+++ b/web/app/controllers/ranklist.php
@@ -14,12 +14,12 @@
 		become404Page();
 	}
 	
-	if (!isset($_COOKIE['bootstrap4'])) {
-		$REQUIRE_LIB['bootstrap5'] = '';
+	requireLib('bootstrap5');
 
-		$config['div_classes'] = array('card', 'mb-3');
-		$config['table_classes'] = array('table', 'uoj-table', 'mb-0', 'text-center');
-	}
+	$config = [
+		'div_classes' => ['card', 'mb-3'],
+		'table_classes' => ['table', 'uoj-table', 'mb-0', 'text-center'],
+	];
 	?>
 <?php echoUOJPageHeader($title) ?>
 <h1 class="h2"><?= $title ?></h1>