From fb4c3033a7b75fd9aa242fd0830794586eac27a3 Mon Sep 17 00:00:00 2001
From: deepend-tildeclub <58404188+deepend-tildeclub@users.noreply.github.com>
Date: Sat, 17 Aug 2024 10:51:30 -0600
Subject: [PATCH] Update index.php

---
 index.php | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/index.php b/index.php
index c53dd38..57b9c16 100644
--- a/index.php
+++ b/index.php
@@ -13,12 +13,13 @@
         $activeUsers = json_decode(file_get_contents('online-users.json'), true);
 
         if (!empty($activeUsers)) {
-            echo "<ul>";
+            $userList = "";
             foreach ($activeUsers as $user) {
                 $username = htmlspecialchars($user);
-                echo "<li><a href='/~$username'>$username</a></li>";
+                $userList .= "<li><a href='/~$username'>$username</a></li>";
             }
-            echo "</ul>";
+            // Print the list with data-content for seamless scrolling
+            echo "<ul data-content=\"$userList\">$userList</ul>";
         } else {
             echo "<span>No active users at the moment.</span>";
         }