From e5b56f3e6843161991827847589d5e60fc7fc06e Mon Sep 17 00:00:00 2001
From: pezcurrel <pezcurrel@tiscali.it>
Date: Thu, 28 Dec 2023 12:29:52 +0100
Subject: [PATCH] Using standard lib version of randstr.php, which is more
 flexible and fast

---
 web/lib/randstr.php | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/web/lib/randstr.php b/web/lib/randstr.php
index e180154..38c81fd 100644
--- a/web/lib/randstr.php
+++ b/web/lib/randstr.php
@@ -1,12 +1,11 @@
 <?php
-
-function randstr($len) {
-	$chars='abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789.-_:;\'"%&/?^';
-	$charslen=strlen($chars);
+function randstr($len,$chars=null) {
+	if (is_null($chars))
+		$chars='abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789.-_:;\'"%&/?^';
+	$charslen=strlen($chars)-1;
 	$str='';
 	for ($i=0; $i<$len; $i++)
-		$str.=$chars[rand(0,$charslen-1)];
+		$str.=$chars[mt_rand(0,$charslen)];
 	return($str);
 }
-
 ?>